coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems

From: Ichiro Hasuo <i.hasuo AT acm.org>
To: coq-club AT inria.fr
Subject: [Coq-Club] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
Date: Sat, 7 Jan 2017 00:46:03 +0900
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=i.hasuo AT gmail.com; spf=Pass smtp.mailfrom=i.hasuo AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f50.google.com
Ironport-phdr: 9a23:3OiO2BLiLF7r4q77l9mcpTZWNBhigK39O0sv0rFitYgRK/nxwZ3uMQTl6Ol3ixeRBMOAuq4C0bOd4/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDWwbalsIBmrognctdUaipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPisJ+gqFVrg+/qRNj2IPUfJ2ZOeBicq/BYd8XR2xMVdtRWSxbBYO8apMCAekdMuZYron9vVwOpga8Cwa2H+Pv1zhIjWLx0K07yeghERvJ3Bc9H9IJq3nbtsn6NKIIXeCy1qnIwizOYvVL0jnz74jIdwouofCKXb9obMrd0FUvFwTGjlSQrozpJSma2fgXv2iZ9+ptU/+khW0/qwxpoDWiyd0ghpTXio8V0FzJ9jt1zJw1KNGkTkNwfMSqH4FKty6AMot7WsMiTH9suCY90rAGvIS0fCkOyJg+yR/fbuCLf5GG4h/jSOqdOzh4hHVieLKwgxa971KsxfH7VsmxyFpKryxFncfQtn0V1RHe5dKLRuZj8kqhwzqC1B7f5vtELEwojabbLoQuwr80lpodq0TDGSr2lV33jKOMdkUr4POo6/ngYrj9qZ+cMpV7igD6Mqg0hsO/BuE4PhAUX2eH4eS8yKHj/UrhTbpWif02i7DVv4zeJcQGvaG0GBRV04Ym6xanFTiqytUYnX8dLFJEYh2LlYbpO0udaMz/WPy4mhGnlCph7/HAJLzoRJvXfVbZl7K0XL196lRbgCo61s1Yr8ZVTLEIO+/0ckb6sZrfFBBvYF/8+PruFNgojtBWYmmIGKLMaK4=

[Thanks a lot for disseminating among potentially interested
candidates. Apologies for multiple copies]

Dear colleagues,

For our new 5.5-year research project (ERATO MMSD, Metamathematics for
Systems Design) we are looking for 10+ 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, software science, software
engineering, control theory, machine learning, numerical optimization,
user interface, mathematical logic and category theory.

For more about the project please visit
http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/about.html

About the open positions
http://www-mmm.is.s.u-tokyo.ac.jp/eratommsd/openpositions.html
has more information (esp. how to apply/inquire).

Best regards,
Ichiro

=======
Ichiro Hasuo
Dept. Computer Science, The University of Tokyo
http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

[Coq-Club] 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems, Ichiro Hasuo, 01/06/2017