{"id":2268,"date":"2022-10-29T13:04:56","date_gmt":"2022-10-29T04:04:56","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2268"},"modified":"2022-10-29T13:04:56","modified_gmt":"2022-10-29T04:04:56","slug":"open-positions-2","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/open-positions-2\/","title":{"rendered":"Open Positions"},"content":{"rendered":"\n<p>A few positions with us are now open:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/group-mmm.org\/eratommsd\/open-position-for-a-scientific-programmer-towards-a-research-oriented-startup\/\">Scientific Programmer (Towards a Research-Oriented Startup, Oct 2022)<\/a><\/li><li><a href=\"https:\/\/group-mmm.org\/eratommsd\/postdoc-researcher-category-theory-and-practical-model-checking-algorithms-oct-2022\/\">PostDoc Researcher (Category Theory and Practical Model Checking Algorithms, Oct 2022)<\/a><\/li><li><a href=\"https:\/\/group-mmm.org\/eratommsd\/postdoc-researcher-theorem-proving-for-automated-driving-oct-2022\/\">PostDoc Researcher (Theorem Proving for Automated Driving, Oct 2022)<\/a><\/li><\/ul>\n\n\n\n<p>Besides, there is a post-doc opportunity open in Kyoto, in Atsushi Igarashi&#8217;s group (we work closely with them):<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/hackmd.io\/@aigarashi\/RecruitingPD4ZTIoT\">PostDoc Researcher (Programming abstraction for security, Kyoto U)<\/a><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>A few positions with us are now open: Scientific Programmer (Towards a Research-Oriented Startup, Oct 2022) PostDoc Researcher (Category Theory and Practical Model Checking Algorithms, Oct 2022) PostDoc Researcher (Theorem Proving for Automated Driving, Oct 2022) Besides, there is a post-doc opportunity open in Kyoto, in Atsushi Igarashi&#8217;s group (we work closely with them): PostDoc Researcher (Programming abstraction for security, Kyoto U)<\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2268","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2268","post","type-post","status-publish","format-standard","hentry","category-1","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2268","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=2268"}],"version-history":[{"count":1,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2268\/revisions"}],"predecessor-version":[{"id":2269,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2268\/revisions\/2269"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2268"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2268"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2268"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}