2 formal-method-phd PhD positions at Chalmers University of Technology

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 11 hours ago

to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning

PhD student position in Formal Verification of Autonomous Cyber-Physical Systems

Chalmers University of Technology | Sweden | 3 months ago

. Of particular interest 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