Logic List Mailing Archive

CfA: PostDoc Position in Formal Verification of Learning-Enabled Systems at Chalmers University, Gothenburg (Sweden), deadline: 20 Jan 2025

Open position: PostDoc in Formal Verification of Learning-Enabled Systems at Chalmers University of Technology

Deadline January 20
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=13490&rmlang=UK


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 formal verification techniques for learning-enabled systems used in safety-critical applications. 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?

In this role, you will develop a new generation of formal techniques for:
- Compositional contract-based design
- Specification formalisms for learning-enabled systems
- Runtime verification under uncertainty
- Statistical verification
- Scenario-based analysis
- Explainability methods for AI/ML-based models

We are looking for candidates interested in conducting research in one or more of these areas, and encourage you to propose new directions aligned with your and our research. This position is funded by the prestigious WASP program, read more https://wasp-sweden.org/

For questions, please contact:
Assistant Professor, Hazem Torfah, Computing Science division
Email: hazemto@chalmers.se<mailto:hazemto@chalmers.se>

--
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