PhD/PostDoc in Position in Logical Zonotopes

Technical University of Munich

PhD/PostDoc position (TV-L E13)

[contact details available in the full listing], 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 talk link

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

Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry).
Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field.
Experience in reachability analysis, formal verification/model checking, control theory, or related domains
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:

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

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

Kontakt: alanwar@tum.de

This is a Preview Listing…

You must sign in to see the full job description, and to apply.

Manage / Upgrade this job to a Full Job Listing.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

PhD/PostDoc in Position in Logical Zonotopes

Technical University of Munich

Munich, Germany