[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. Please consult https://group-mmm.org/eratommsd/ja/open-positions-for-postdoc-senior-researchers-open-call/ for scopes, details, and how to apply. (This call has no specified topics, unlike our previous calls such as this <https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-abstract-and-concrete-automated-verification/> and this <https://group-mmm.org/eratommsd/open-positions-for-postdoc-senior-researchers-mathematical-logic-for-software-systems-and-society/> .) 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 [email protected] Secretaries: [email protected] http://group-mmm.org/~ichiro/
