{"id":2686,"date":"2024-09-18T11:34:31","date_gmt":"2024-09-18T02:34:31","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2686"},"modified":"2025-01-11T12:44:22","modified_gmt":"2025-01-11T03:44:22","slug":"%e5%8d%9a%e5%a3%ab%e7%a0%94%e7%a9%b6%e5%93%a1%e3%83%bb%e7%89%b9%e4%bb%bb%e6%95%99%e5%93%a1%e5%8b%9f%e9%9b%86","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/%e5%8d%9a%e5%a3%ab%e7%a0%94%e7%a9%b6%e5%93%a1%e3%83%bb%e7%89%b9%e4%bb%bb%e6%95%99%e5%93%a1%e5%8b%9f%e9%9b%86\/","title":{"rendered":"\u535a\u58eb\u7814\u7a76\u54e1\u30fb\u7279\u4efb\u6559\u54e1\u52df\u96c6"},"content":{"rendered":"\n<p>\u6570\u540d\u306e\u7814\u7a76\u54e1\u3092\u52df\u96c6\u3057\u3066\u3044\u307e\u3059\uff0e\u305c\u3072\u3054\u691c\u8a0e\u304f\u3060\u3055\u3044\uff0e<\/p>\n\n\n\n<p>We invite applications for postdoc&nbsp;and senior researchers. The candidates will pursue collaboration with Bart Jacobs (Nijmegen), Joost-Pieter Katoen (Aachen), and Sam Staton (Oxford). The positions are for 4.5 years max.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>[<a href=\"https:\/\/group-mmm.org\/eratommsd\/open-positions-for-postdoc-senior-researchers-abstract-and-concrete-automated-verification\/\">Abstract and Concrete Automated Verification<\/a>]<br>We look for 1) model checking specialists with aspiration for lattice- and category-theoretic abstract theories, or conversely, 2) category theorists with aspiration for efficient model checking algorithms.<\/li><li>[<a href=\"https:\/\/group-mmm.org\/eratommsd\/open-positions-for-postdoc-senior-researchers-mathematical-logic-for-software-systems-and-society\/\">Mathematical Logic for Software, Systems, and Society<\/a>]<br>We look for formal verification specialists (theorem proving or model checking) with aspiration to take up real-world problems.<\/li><li>[<a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/open-positions-for-postdoc-senior-researchers-open-call\/\">Open Call<\/a>]<br>One or two researchers without specified topics. Can be senior or junior.<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u6570\u540d\u306e\u7814\u7a76\u54e1\u3092\u52df\u96c6\u3057\u3066\u3044\u307e\u3059\uff0e\u305c\u3072\u3054\u691c\u8a0e\u304f\u3060\u3055\u3044\uff0e We invite applications for postdoc&nbsp;and senior researchers. The candidates will  &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/%e5%8d%9a%e5%a3%ab%e7%a0%94%e7%a9%b6%e5%93%a1%e3%83%bb%e7%89%b9%e4%bb%bb%e6%95%99%e5%93%a1%e5%8b%9f%e9%9b%86\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">\u535a\u58eb\u7814\u7a76\u54e1\u30fb\u7279\u4efb\u6559\u54e1\u52df\u96c6<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2684","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2686","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2686","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=2686"}],"version-history":[{"count":2,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2686\/revisions"}],"predecessor-version":[{"id":2744,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2686\/revisions\/2744"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2686"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2686"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2686"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}