1 software-formal-method-phd 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 | 3 days 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