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

Technische Universität München
Published
WorkplaceMünchen, Bayern, Germany
Category
Position
MyTUM-Portal
Technische Universität München

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 alanwartum.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.

Die Stelle ist für die Besetzung mit schwerbehinderten Menschen geeignet. Schwerbehinderte Bewerberinnen und Bewerber werden bei ansonsten im wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt.

Hinweis zum Datenschutz:
Im Rahmen Ihrer Bewerbung um eine Stelle an der Technischen Universität München (TUM) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise der TUM zur Kenntnis genommen haben.

Kontakt: alanwartum.de
In your application, please refer to myScience.org and reference JobID 2954817.