PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis
Technical University of Munich
- Country: Germany
- Posted on: Friday, 18 April 2025
- Application Deadline: Sunday, 15 June 2025
Job Description
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 verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture.