1 software-formal-method-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 | 3 months ago

theoretical research, algorithm design, and the development of software tools that demonstrate the applicability of the new methods. Research environment The positions are hosted by the Department