Logic List Mailing Archive

Two PhD student positions & one postdoctoral position in formal analysis of autonomous systems, Gothenburg (Sweden), Deadline: 1 Sep 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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) in cooperation with the ILLC at the Universiteit van Amsterdam