2 phd-reliability 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 9 hours ago

What if you could design systems that not only follow instructions — but understand intent and guarantee correct behavior over time? We are looking for up to two PhD students who want to explore

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

Chalmers University of Technology | Sweden | 2 months ago

are unpredictable, e.g., unanticipated changes in the environment of the ACPS may cause a neural network to produce faulty outcomes that could endanger the safety of the system. To assure the safe and reliable