Sort by
Refine Your Search
-
strong background in computer science, including formal methods and mathematics, as well as an interest in AI and safety-critical systems. Good programming skills are required. Supervision: Prof. Elena
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions