2 verification-computer-science 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 | about 6 hours ago

of Computer Science and Engineering (CSE)Chalmers University of Technology University of Gothenburg You will be part of the Computing Science Division The appointed candidates will also join a vibrant community of over

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

Chalmers University of Technology | Sweden | 3 months ago

, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required