1 phd-program-of-statistics PhD scholarships at Chalmers University of Technology in Sweden

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

Chalmers University of Technology | Sweden | 30 days ago

correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools