2 control-theory Postdoctoral positions in Germany

PhD/PostDoc position (TV-L E13)

Technical University of Munich | Germany | 1 day ago

/model checking, control theory, or related domains 4. Programming proficiency in C++, Python, MATLAB, or similar. - How to Apply Email Amr Alanwar ([email protected]) with the subject line “Position in

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

Technical University of Munich | Germany | about 2 months 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