PhD/PostDoc position (TV-L E13)
TUM, Germany
- Institution
- TUM
- Country
- Germany
- Position type
- PhD
- Subject area
- Computer Science & AI
- Location
- München, Bayern, DE
- Funding
- Fully funded position
Want to be the strongest applicant for this position?
Book a free 15-minute call with our team. We will look at your profile against what TUM is actually looking for, and tell you honestly where you stand and what to strengthen before you apply.
Book a free call about this position →No cost, no obligation. Mentors who have secured funded PhD positions themselves.
How our PhD admission mentorship works →
We mentor STEM applicants only. If your research aspirations are outside STEM subjects, you're very welcome to use this board and apply directly; we just aren't the right people to mentor you.
About this position
Cyber Physical Systems group at the Technical University of Munich, Heilbronn campus
Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. 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.
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 transcriptsApplications are reviewed on a rolling basis; Only shortlisted candidates will be contacted and 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
Apply directly to TUM
Emerging Scholars Council is not the employer and does not recruit for this position. It is advertised by TUM, and your application goes to them. We help students prepare and strengthen their applications.
Go to the official application page →Contact listed in the advert
Some positions — especially in Germany, Austria and Switzerland — are filled by writing directly to the supervisor rather than through an online form. These addresses were taken from the advert text, so check them against the official listing before you write.
A cold email to a supervisor is the highest-leverage thing you can send — and the easiest to get wrong. Ask us to look at yours before you hit send.