Logic List Mailing Archive

CfA: PhD & Postdoc Positions in Safe and Reliable AI-based Systems, Chalmers University of Technology (Sweden), deadlines 15 & 25 May 2025

Open PhD & Postdoc Positions in Safe and Reliable AI-based Systems at Chalmers University of Technology

We are hiring:
* PhD in Runtime Monitoring for AI-based Autonomy (Deadline May 15)
Apply here: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13877&rmlang=UK
Read more: https://chalmers-my.sharepoint.com/:b:/g/personal/piterman_chalmers_se/EU_Y0B3E261FoCuLi2pEeZ8BPn2f5CjqKGxbmRzgyM2kVg?e=R0RsOC

* Postdoc in Formal Analysis of AI-Based Systems (Deadline May 25)
Apply here: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13872&rmlang=UK

The positions are funded by the prestigious WASP - Wallenberg AI, Autonomous Systems and Software Program<https://www.linkedin.com/company/wasp-wallenberg-ai-autonomous-systems-and-software-program/>. Read more: https://wasp-sweden.org/

For questions, please reach out to Hazem Torfah hazemto@chalmers.se<mailto:hazemto@chalmers.se>
[cid:4DF0D5DE-16CE-4D01-A374-1BD59303F757]
Chalmers University of Technology<https://starlab.systems>
starlab.systems<https://starlab.systems>


--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
hazemto@chalmers.se<mailto:hazemto@chalmers.se>
https://starlab.systems

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php