[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University
is looking for PhD candidates interested in conduction research in Formal
Verification of Autonomous Cyber-Physical Systems (ACPS). The goal of the PhD
project is to develop techniques for the design and verification of assured
ACPS with a focus on runtime assurance. You will develop theory and tools for
the construction of runtime monitors that capture under what conditions an ACPS
is guaranteed to maintain safety. A key challenge in developing such monitors
is to handle noisy, missing, or delayed data. Of particular interest is the
investigation of compositional methods for constructing runtime monitors. The
candidate will build on the latest advances in formal methods and learning
theory, to develop methods that allow for building monitors with formal
guarantees on their correctness and reliability.
This position is funded by the Wallenberg AI, Autonomous Systems, and Software
Program (WASP
https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsFR2UFqfw$
). WASP is Sweden’s largest individual research program and provides unique
opportunities for achieving international research excellence with industrial
relevance.
More information can be found under the following link:
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12785&rmlang=UK__;!!IBzWLUs!T4cTHrCyRiagt1iMJnBw-723XM7bjauK5mbWeKkhX-WmUVkbr2nqrRJ8F_4TQqTj9psK-i26lebz2--r4d7oib5XKsGAJE3-mg$
For questions please reach out Hazem Torfah at
[email protected]<mailto:[email protected]>
Deadline April 30, 2024.
--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
[email protected]<mailto:[email protected]>
