[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
