<div dir="ltr">[Please distribute, apologies for multiple postings.]<div><br></div><div>Postdoc & senior researcher positions in Tokyo<br></div><div><br></div><div><a href="https://urldefense.com/v3/__https://group-mmm.org/eratommsd__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wnoWRpbwQ$" target="_blank">Hasuo Laboratory</a> at the <a href="https://urldefense.com/v3/__https://www.nii.ac.jp/en/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wkPXi9MCg$" target="_blank">National Institute of Informatics</a>, Tokyo, Japan invites applications for postdoc 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.</div><div><ul><li style="margin-left:15px">[<a href="https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-abstract-and-concrete-automated-verification/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wkwnHNgJA$" target="_blank">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.<br><br></li><li style="margin-left:15px">[<a href="https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-mathematical-logic-for-software-systems-and-society/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wmN8PpsgQ$" target="_blank">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></ul></div><div>Please consult the linked pages for scopes, details, and how to apply.</div><div><br></div><div>We are also constantly looking for PhD students. <a href="https://urldefense.com/v3/__https://group-mmm.org/eratommsd/call-for-students-ja/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wk08ZXOaw$" target="_blank">https://group-mmm.org/eratommsd/call-for-students-ja/</a></div><div><br></div><div>We look forward to applications from junior and senior researchers with aspiring minds. Thanks a lot for your consideration!</div><div><br></div><div>Best regards, </div><div>Ichiro</div><div><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">======<br>Ichiro Hasuo<br>Professor, National Institute of Informatics<br><a href="mailto:i.hasuo@acm.org" target="_blank">i.hasuo@acm.org</a>     Secretaries: <a href="mailto:hasuolab-secr@nii.ac.jp" target="_blank">hasuolab-secr@nii.ac.jp</a><br><a href="https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!VjExJH-WWVadDJ6Kg2MD3_B_J6LqPC7qcLOfaKVN-OELi6wVPdMH51len_WIzh6gBdD12mIQkiVMv4Xm-1-2Z8QoW2lp$" target="_blank">http://group-mmm.org/~ichiro/</a></div></div></div></div>