2 composite PhD positions at Chalmers University of Technology in Sweden

PhD student position in Formal Verification of Auto..

is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow

PhD student position in Mission-driven Innovation Policy

reflected in our team's composition spanning humanities, engineering, natural, and social sciences. We are united by applying systems-based approaches. Major responsibilities The doctoral student's main