[Please distribute, apologies for multiple postings.] Postdoc & senior researcher positions in Tokyo
Hasuo Laboratory <https://group-mmm.org/eratommsd> at the National Institute of Informatics <https://www.nii.ac.jp/en/>, 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://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-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 <https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-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. Please consult the linked pages for scopes, details, and how to apply. We are also constantly looking for PhD students. https://group-mmm.org/eratommsd/call-for-students-ja/ 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.ha...@acm.org Secretaries: hasuolab-s...@nii.ac.jp http://group-mmm.org/~ichiro/
