[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems

[Hazem Torfah]

The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University is looking for candidates interested in conducting independent research in the area of formal analysis of autonomous cyber-physical systems (ACPS). The candidate will work on developing a new generation of design and verification techniques, rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty.

This position is funded by the Wallenberg AI, Autonomous Systems, and Software Program (WASP https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jnbinv8vw$ ). 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=11984&rmlang=UK__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jmmntkfew$ 


--
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


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