3 computational-geometry Postdoctoral positions at Technical University of Munich

PhD / PostDoc in Formal Verification

Technical University of Munich | Germany | 19 days ago

benefits are in accordance with the German public sector scale, TV-L E13. Your Qualification: Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). Master's

Postdoctoral Position in Representation Theory

Technical University of Munich | Garching an der Alz, Bayern | Germany | 2 months ago

] Subject Area: Representation Theory Appl Deadline: 2025/07/31 11:59PM (posted 2025/07/01) Position Description: 2025/09/30 11:59PM Position Description The TUM School of Computation, Information and Technology

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

Technical University of Munich | Germany | 3 days ago

: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members