PhD Position in Safety Verification of Cyber-Physical Systems

06.10.2023, Wissenschaftliches Personal

The PhD position is on safety verification of Cyber-Physical Systems at the intersection between control theory and machine learning. The position is full-time (100%) TV-L E13.

Position Overview: The position is on safety verification at the intersection between control theory and machine learning. As a Ph.D. candidate in the research team of Dr. Amr Alanwar at the Technical University of Munich – Heilbronn Campus, you will be at the forefront of developing methodologies and tools for ensuring the safety of complex and interconnected cyber-physical systems through reachability analysis, which computes the union of all possible trajectories a system can reach within a finite or infinite time when starting from a bounded set of initial states. The successful candidate is supposed to develop the theory of reachability analysis and apply it to machine learning. By building and leveraging expertise in reachability analysis and formal verification techniques, you will contribute to creating novel approaches that guarantee the safety of cyber-physical systems, even in the face of uncertain and dynamic environments. You will have the chance to apply your developed techniques to the SVEA (Small VEhicles for Autonomy) platform designed for large-scale transportation experiments. The position is full-time (100%) TV-L E13.

Qualifications:

• A Master’s degree in computer science, electrical engineering, control systems, or a related field.
• Prior experience in reachability analysis, formal verification methods, control theory, or related domains.
• Proficiency in programming languages such as C++, Python, MATLAB, or similar.

Application Process: Interested candidates are invited to submit the following materials to [email protected] with email title "Ph.D. Position in Safety Verification"

1. CV detailing your academic and research achievements including contact information for at least two academic or professional references.
2. Cover letter outlining your motivation for applying and relevant experience.
3. Academic transcripts from your previous degrees.
4. Master thesis.

The position is suitable for disabled persons. Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and professional performance.

Data Protection Information:
When you apply for a position with the Technical University of Munich (TUM), you are submitting personal information. With regard to personal information, please take note of the Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. (data protection information on collecting and processing personal data contained in your application in accordance with Art. 13 of the General Data Protection Regulation (GDPR)). By submitting your application, you confirm that you have acknowledged the above data protection information of TUM.

Kontakt: [email protected]