项目介绍

2026年7月9日

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.