PhD Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability AnalysisFull PhD
- Working Language
- English, German
- Location
- München
- Application Deadline
- 15 Jun 2025
- Starting Date
- as soon as possible
Overview
Open Positions
1
Time Span
as soon as possible for 3 years
Application Deadline
15 Jun 2025
Financing
yes
Type of Position
Full PhD
Working Language
- English
- German
Required Degree
Master
Areas of study
Automation Technology, Mechatronics, Robotics, Systems Engineering, Applied Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics
Description
Description
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD 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.
Required Documents
Required Documents
- CV
- Certificates
- Transcripts
