Chalmers seeks a 2-year postdoc in formal analysis of AI-based systems within the Department of Computer science and Engineering.

Project description

Are you passionate about advancing the safety and reliability of learning-enabled systems? Join the Group for Safe and Trustworthy Autonomous Reasoning (STAR) to lead cutting-edge research in the design and analysis of learning-enabled systems. At STAR, we tackle key questions like:
– How can we build systems that are both intelligent and inherently trustworthy?
– What methods ensure reliability and transparency in AI-driven decision-making?

We are looking for candidates interested in conducting research in one or more of the following areas:
– Runtime verification under uncertainty
– Statistical learning and safe reininforcement learning
– Simulation-based analysis
– Explainability methods for AI/ML-based systems
– Specification formalisms for learning-enabled systems

We encourage candidates to also propose new directions aligned with their and our research (https://starlab.systems). This position is funded by the prestigious WASP program, and as such comes exciting career development opportunities. Read more here.

About the STAR Lab

Led by Dr. Hazem Torfah, STAR is part of the Computing Science Division within the Department of Computer Science and Engineering (CSE). Our interdisciplinary group focuses on developing theoretical foundations and tools for creating safe, reliable, and secure autonomous systems, with application areas including autonomous driving and aviation. Collaboration and support are central to our dynamic research environment.

The CSE department, a joint effort between Chalmers University of Technology and the University of Gothenburg, is home to a diverse, international community of 270 researchers from over 30 countries.

View all positions
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Accept
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website wasp-sweden.org uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website, www.pts.se.
Save settings
Cookies settings