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
-
bicc - Bonn International Centre for Conflict Studies gGmbH | Bonn, Nordrhein Westfalen | Germany | 1 day ago
requirements: A completed PhD in Political Science, Peace and Conflict Studies, Migration Studies, Refugee Studies, Development Studies, International Relations, Social Anthropology, Area or Cultural Studies
-
, 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