Direkt zum Inhalt springen
login.png Login join.png Register    |
Support subgroup
de | en
MyTUM-Portal
Technical University of Munich

Technical University of Munich

Sitemap > Jobs und Stellenangebote > Wissenschaftliches Personal > Ph.D. candidate in Safety Verification at the intersection of control theory and artificial intelligence with TV-L E13 (100% position)
up   Back to  News Board    previous   Browse in News  next    

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.

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.

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: alanwar@tum.de