2 reliability PhD positions at Chalmers University of Technology in Sweden

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

Chalmers University of Technology | Sweden | about 11 hours ago

reinforcement learning, robotics, and the development of reactive software systems. It enables the creation of robust, reliable programs by specifying what a system should do, while automatically deriving how it

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