[ 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 haze...@chalmers.se<mailto:haze...@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 haze...@chalmers.se<mailto:haze...@chalmers.se>