[TYPES/announce] Postdoc & senior researcher positions in Tokyo

[Ichiro Hasuo]

[Please distribute, apologies for multiple postings.]

Postdoc & senior researcher positions in Tokyo

Hasuo Laboratory
<https://urldefense.com/v3/__https://group-mmm.org/eratommsd__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wnoWRpbwQ$>
at
the National Institute of Informatics
<https://urldefense.com/v3/__https://www.nii.ac.jp/en/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wkPXi9MCg$>,
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.

   - [Abstract and Concrete Automated Verification
   <https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-abstract-and-concrete-automated-verification/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wkwnHNgJA$>
   ]
   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
   <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$>
   ]
   We look for formal verification specialists (theorem proving or model
   checking) with aspiration to take up real-world problems.

Please consult the linked pages for scopes, details, and how to apply.

We are also constantly looking for PhD students.
https://urldefense.com/v3/__https://group-mmm.org/eratommsd/call-for-students-ja/__;!!IBzWLUs!VjExJH-WWVadDJ6Kg2MD3_B_J6LqPC7qcLOfaKVN-OELi6wVPdMH51len_WIzh6gBdD12mIQkiVMv4Xm-1-2ZzTBZ-pk$ 
<https://urldefense.com/v3/__https://group-mmm.org/eratommsd/call-for-students-ja/__;!!IBzWLUs!XBay01Bfse1rbVP0plbQdtSN-AVJmIFUDVDsqwmfrhFNGwpk84zh1qY-6q5ehlzUfbuOV7thHYstOitBMVyX5wk08ZXOaw$>

We look forward to applications from junior and senior researchers with
aspiring minds. Thanks a lot for your consideration!

Best regards,
Ichiro

======
Ichiro Hasuo
Professor, National Institute of Informatics
i.hasuo at acm.org     Secretaries: hasuolab-secr at nii.ac.jp
https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!VjExJH-WWVadDJ6Kg2MD3_B_J6LqPC7qcLOfaKVN-OELi6wVPdMH51len_WIzh6gBdD12mIQkiVMv4Xm-1-2Z8QoW2lp$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240919/191b0537/attachment.htm>