Two PhD student positions & one postdoctoral position in formal analysis of autonomous systems, Gothenburg (Sweden)

The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University has openings for two PhD positions and a PostDoc position in Formal Analysis of Autonomous Systems. We are looking for candidates interested in developing techniques and tools for the construction of provably-safe and -reliable learning-enabled autonomous systems.

Please pass this information on to potential candidates. It would be great if you could also share this information within your network. The announcements for the positions are linked below:
- https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11983&rmlang=UK
- https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK