[TYPES/announce] PhD Position in Formal Verification of Autonomous Systems

[Hazem Torfah]

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 hazemto at chalmers.se<mailto:hazemto at chalmers.se>

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
hazemto at chalmers.se<mailto:hazemto at chalmers.se>



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240412/1f71c950/attachment-0001.htm>