PhD/PostDoc Position in Cyber Physical Systems

The Cyber Physical Systems group at the Technical University of Munich is seeking a PhD/PostDoc to enhance formal verification and reachability analysis for discrete-space systems. The research will involve logical zonotopes in digital circuits and model checking, aiming to develop scalable and reliable verification methodologies and tools. Candidates should have a strong mathematical background, a Master's or PhD in relevant fields, and programming skills in C++, Python, or MATLAB. Teaching support is required. Applications are reviewed on a rolling basis.