1 postdoctoral-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 | 5 days 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