[DL] Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University

Hazem Torfah hazemto at chalmers.se
Thu Aug 3 11:54:53 CEST 2023


Dear colleagues,

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

Application deadline: Sep 1, 2023

Many thanks!
Kindest regards,
Hazem Torfah

--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
412 96 Gothenburg, Sweden
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20230803/70e9bf84/attachment.htm>


More information about the dl mailing list