2 computational-geometry Postdoctoral scholarships

PhD/PostDoc position (TV-L E13)

Technical University of Munich | Germany | about 16 hours ago

, 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

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

Technical University of Munich | Germany | about 1 month ago

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/prof-dr-ing