3 hardware-verification 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 6 hours ago

the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical

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

Chalmers University of Technology | Sweden | 3 months 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

PhD student position in Robotics and Machine Learning for Autonomous Manipulation

Chalmers University of Technology | Sweden | about 6 hours ago

ROS Practical experience in hardware and simulation-based implementations Fluency in both written and spoken English Previous experience in robot learning research will be considered a strong merit