Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
ERATO Metamathematics for Systems Design Project
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for
- senior researchers and
- postdocs
- together with research assistants (PhD students) and internship students.
This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic and category theory.
Applications should be sent to application_eratommsd [at] group-mmm.org, with the subject "ERATO Job Application".
Please include
- your brief CV,
- short description of research interests (can be very informal and short),
- the list of papers (a dblp or Google scholar link will do, for example),
- a couple of representative papers (in pdf), and
- (preferably) the contact of two references.
We will contact you for further material, provided that we find sufficient relevance in your application.
Starting dates are flexible. The 10+ positions will remain open until filled. The project ends in March 2022; several positions are still open as of April 2017.
Inquiries should also be sent to application_eratommsd [at] group-mmm.org, with the subject "ERATO Job Inquiry."
For more about the project please visit: http://group-mmm.org/eratommsd
About the open positions
http://group-mmm.org/eratommsd/openpositions.html
has more information (esp. how to apply/inquire).