1 software-formal-method-phd PhD scholarships 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 21 hours 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