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

Technical University of Munich

up   Back to  News Board    previous   Browse in News  next    

PhD / PostDoc in Formal Verification

28.10.2025, Wissenschaftliches Personal

Open PhD/PostDoc position (TV-L E13) in Cyber-Physical Systems at the Technical University of Munich – Heilbronn Campus to start as soon as possible. Focus on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and programming experience; apply by sending CV and transcripts to alanwar@tum.de


About the Role:

Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will center on the applications of logical zonotopes in digital circuits and model checking of discrete-space systems, with the goal of building methodologies and tools that make verification scalable and reliable. Learn more about logical zonotopes: [paper link] | [talk link]. You will conduct original research on logical zonotope based methods for model checking and digital circuit verification. Also, you will design and implement prototypes (C++/Python/MATLAB) and contribute to open-source tooling where appropriate. You will support teaching at Technical University of Munich. Salary and benefits are in accordance with the German public sector scale, TV-L E13.

Your Qualification:

  1. Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry).
  2. Master's degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field.
  3. Experience in reachability analysis, formal verification/model checking, control theory, or related domains
  4. Programming proficiency in C++, Python, MATLAB, or similar.


How to Apply:

Email Amr Alanwar (alanwar@tum.de) with the subject line Position in Logical Zonotopes and include:

  1. CV (with publications and contact info for ≥2 references).
  2. Academic transcripts

Applications are reviewed on a rolling basis; shortlisted candidates will be invited to interview.

 

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