Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

Dear colleagues,

For our new 5-year research project (ERATO MMSD, Metamathematics for
Systems Design) we are looking for senior researchers and postdocs
(10+ positions in total and several are still open), 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.

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).

Best regards,
Ichiro