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

[Hazem Torfah]

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://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11983&rmlang=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2ZsUpWaQ$ 
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK__;!!IBzWLUs!TV7kKUXK6EUa2k6IGl1fU9r-v2qWCZtZKaVlvxARfkK9iEpGD8pZjoWgoJ1gft6oLk575iZfzH0LRJCtdUK7mPtwQZ2B1fwCyw$ 

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://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230803/026bff9f/attachment-0001.htm>