{"id":2682,"date":"2024-09-18T11:32:29","date_gmt":"2024-09-18T02:32:29","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2682"},"modified":"2025-01-11T12:44:00","modified_gmt":"2025-01-11T03:44:00","slug":"postdoc-senior-researcher-positions","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/postdoc-senior-researcher-positions\/","title":{"rendered":"Postdoc &#038; Senior Researcher Positions"},"content":{"rendered":"\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>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. [Abstract and Concrete Automated Verification]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. [Mathematical Logic for Software, Systems, and Society]We look for formal verification specialists (theorem proving or model checking) with aspiration to take up real-world problems. [Open Call] One or two researchers without specified topics. Can be senior or junior.<\/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=2719","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2682","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\/2682","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=2682"}],"version-history":[{"count":3,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2682\/revisions"}],"predecessor-version":[{"id":2745,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2682\/revisions\/2745"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2682"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2682"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2682"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}