For our 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). ====== Ichiro Hasuo Associate Professor, National Institute of Informatics i.hasuo@acm.org
Master of Science in Informatics at Grenoble (MOSIG 2016-2020)
