Sort by
Refine Your Search
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
11.04.2025, Academic staff The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of automatic formal
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions