Ph.D. candidate in Safety Verification at the intersection of control theory and artificial intelligence with TV-L E13 (100% position)

05.09.2024, Wissenschaftliches Personal

The Chair of Assistant Professor Amr Alanwar at the Technical University of Munich – Heilbronn Campus is seeking a Ph.D. candidate in Safety Verification at the intersection of control theory and artificial intelligence.


Requirements:

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


Responsibilities:

Researching methodologies and tools to ensure the safety of complex and interconnected cyber-physical systems through reachability analysis.
Developing theories of reachability analysis and applying them to machine learning, specifically ensuring safety in foundation model actions.
Contributing to the creation of novel approaches that ensure the safety of cyber-physical systems in uncertain and dynamic environments.
Applying developed techniques on the SVEA (Small Vehicles for Autonomy) platform designed for large-scale transportation experiments.


We Offer:

You will be part of a professional team engaged in innovative project work in the area of cyber-physical systems safety.
An opportunity for varied and diverse work experiences and personal further education.
Presentations at national and international conferences and further education courses are planned within the research activities.
The position is suitable for individuals with disabilities. Disabled applicants will be given preference in case of equivalent suitability, qualifications, and professional performance.
The remuneration is in accordance with TV-L E13 (100% position).


Application Process: Please submit the following documents by email in one PDF document up to 5 MB to alanwar@tum.de with the 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.

Kontakt: alanwar@tum.de