PhD/Postdoc Position in Formal Verification and Logical Zonotopes at Technical University of Munich
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.
