PhD/PostDoc in Position in Logical Zonotopes (Technical University of Munich)

PhD/PostDoc position (TV-L E13) 07.07.2026, Wissenschaftliches Personal Your research will focus on the applications of logical zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Learn more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital circuit verification. Additionally, you will design and implement prototypes (using C++, Python, and MATLAB) and contribute to open-source tooling where applicable. Support for teaching at Technical University of Munich is required. Salary and benefits are in accordance with the German public sector scale, TV-L E13. - Your Profile 1. Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). 2. Master’s 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; Only shortlisted candidates will be contacted and invited to interview. 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: alanwar@tum.de Wenn Sie sich auf diese Stelle bewerben, erwähnen Sie bitte dass Sie sie auf Universitoxy gesehen haben.

PhD/PostDoc position (TV-L E13)

07.07.2026, Wissenschaftliches Personal

Your research will focus on the applications of logical zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Learn more about logical zonotopes: paper link:
https://lnkd.in/e-avQ-2B
talk link:
https://lnkd.in/eYGWFKmy

You will conduct original research on logical–zonotope–based methods for model checking and digital circuit verification. Additionally, you will design and implement prototypes (using C++, Python, and MATLAB) and contribute to open-source tooling where applicable. Support for teaching at Technical University of Munich is required. Salary and benefits are in accordance with the German public sector scale, TV-L E13.

- Your Profile

1. Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry).
2. Master’s 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; Only shortlisted candidates will be contacted and invited to interview.

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

Wenn Sie sich auf diese Stelle bewerben, erwähnen Sie bitte dass Sie sie auf Universitoxy gesehen haben.

Bewerbung

Mehr