PhD/Postdoc Position in Formal Verification and Logical Zonotopes at Technical University of Munich Technical University of Munich in Germany

Technical University of Munich, Heilbronn campus, is advertising an open PhD/Postdoc position in the Cyber Physical Systems group led by Amr Alanwar (Assistant Professor).

The research focus is formal verification and reachability analysis for discrete-space systems, with particular emphasis on logical zonotopes, model checking, and digital circuit verification. The role involves original research on logical-zonotope-based methods, development of scalable verification methodologies and tools, and implementation of prototypes using C++, Python, and MATLAB. Open-source tooling contributions are also mentioned where applicable.

This opportunity is especially relevant for candidates interested in computer science, electrical engineering, mathematics, control systems, and cyber-physical systems. The post references the paper Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions and a related talk, indicating the research direction and background of the group.

Funding: TV-L E13 salary and benefits according to the German public sector scale. The position starts as soon as possible.

Eligibility highlights: strong mathematical background (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, and programming proficiency in C++, Python, MATLAB, or similar. Teaching support at TUM is required.

How to apply: email Amr Alanwar at [email protected] with the subject “Position in Logical Zonotopes.” Attach a CV with publications and contact details for at least two references, plus academic transcripts. Applications are reviewed on a rolling basis.