[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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
[email protected] Secretaries: [email protected]
https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!VjExJH-WWVadDJ6Kg2MD3_B_J6LqPC7qcLOfaKVN-OELi6wVPdMH51len_WIzh6gBdD12mIQkiVMv4Xm-1-2Z8QoW2lp$
