coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Ichiro Hasuo <i.hasuo AT acm.org>
To: announcements AT lists.artist-embedded.org, types-announce AT lists.seas.upenn.edu, pvs AT csl.sri.com, fmcad AT utlists.utexas.edu, hscc AT lists.illinois.edu, qest-announce AT iti.illinois.edu, coq-club AT inria.fr, categories AT mta.ca
Subject: [Coq-Club] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
Date: Tue, 9 Apr 2019 01:23:21 +0900
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=i.hasuo AT acm.org; spf=Pass smtp.mailfrom=i.hasuo AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f171.google.com
Ironport-phdr: 9a23:ezXjxRA4QWStprv9SxRBUyQJP3N1i/DPJgcQr6AfoPdwSPXypcbcNUDSrc9gkEXOFd2Cra4d0qyP6OuxCSRAuc/H7ClaNsQUFlcssoY/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULnIduMLs9xxXGrnZMeOld2GdkKU6Okxrm6cq84YJv/z5Mt/498sJLTLn3cbk/QbFEFjotLno75NfstRnNTAuP4mUTX2ALmRdWAAbL8Q/3UI7pviT1quRy1i+aPdbrTb8vQjSt871rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uzYIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9EAv2jUrNX0LqcSVv2+wqvSwjXYcvNW3ir25Y/Jchw7ofGDR6lwcdfWyUQ0DQzKklCQpZbiPzOP2eQAqm6W5PduW+Kojm4osQBxoj63y8g2l4nJmoUVylbD9SV8x4Y1Isa4R1Bhbd6iDpRQqzmWN4RsQsMlXmFooD82yrgDuZ6+ZiQKz44nxxHZZveacIaI+gruWPiNLTp8nn5oe7Kyiwys/US8yeDwTNS43VRXoidDj9LCrGoC1wbJ5ciCUvZ9/lmu2TKI1w3L7+FLO0E0la7CJ54lwL48i4MfsUreEiL0hUn6lqCWdkIj+uin7+TofK/qqYObN49xkg3+M6IuldKjAekgLAQCQ2yW9f6/2bDj50H1XqlGg/4snqXEsp3WONwXpqujDA9U1oYj5Qy/DzCj0NkAnHkLNlJFdwicj4j0PFHDO//4DfKljFStlDdn3ezJPrrkApnVNHjMjK/hfaph605b0Ac80ddf54tNBr4dJPLzR1T+ucfDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLyFYokSpTD2Jv0o4eL1pXs4gkMGO6CzwZoMdDW1G/5rL0mUbTzrmNhFWXsbpgclCeXsjlqfVzVeT3KzRL4noCo2AZngEJ/OQIbrjbCcmG+jAIZ+bXtCTEuWEDHjcIDAE/kJYyueCtJ9lj0fSaPnVpMsxRi18gL21v4vLvHf8QUctIn/z5504+nSkxYz7np5A9nZm3iAVH0xl2UOQCIw161XoFB8jFaH1al+hP1DU9Ff+rcBWQAjcJXY0uZSCtboWwuHcM3NAF2vXtipBiswQ8kZxsMHJU10SPu4iRWW/iGqAqUS35yCH4EzuvbdmXj4PNt643/N0e8mlVZwEZgHDnGvmqMqr1ubPIXOiUjMz//3J5RZ5zbE8SK49UTLvExcV1QuA6DMXHRaYkmP6NqguRqEQLipBrAqdABGzJzac/cYWpjSlVxDAczbFpHGeWvgyW67AFCP3LzeNNO7KVVY5z3UDQ0/qy5W+H+HMQYkASL4+jDRCTVvERTkZEa+qOQ=

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

Dear colleagues,

For our research project (ERATO MMSD, Metamathematics for

Systems Design) we are looking for senior researchers and postdocs

(10+ positions in total and some are still open), together with

research assistants (PhD students) and internship students.

The project runs until March 2022.

http://group-mmm.org/eratommsd

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.

In order to deal with the complexity of real-world cyber-physical systems,

we need to rely on empirical, learning-based and data-driven measures for

quality assurance (such as search-based testing). At the same

time, we are finding logical and automata-theoretic methods---the bedrock

of formal verification and synthesis--playing pivotal roles also in those

empirical quality assurance measures. This way, our

project offers an exciting scientific environment that mixes formal methods,

software engineering and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated driving project at Waterloo, Canada.

The following are prerequisites for application.

- Your background in one of the following fields: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic or category theory

- Your willingness to dive into the heterogeneous (and thus exciting!) scientific environment as described in the above

For more about the project, including our recent activities and output, please visit

http://group-mmm.org/eratommsd

About the open positions, the page

http://group-mmm.org/eratommsd/openpositions.html

has more information (esp. how to apply/inquire).

Best regards,

Ichiro

======
Ichiro Hasuo
Associate Professor, National Institute of Informatics
i.hasuo AT acm.org Secretaries: hasuolab-secr AT nii.ac.jp
http://group-mmm.org/~ichiro/

[Coq-Club] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems, Ichiro Hasuo, 04/08/2019