PhD / PostDoc in Formal Verification

Open PhD/PostDoc position (TV-L E13) in Cyber-Physical Systems at the Technical University of Munich – Heilbronn Campus to start as soon as possible. Focus on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and programming experience; apply by sending CV and transcripts to alanwar@tum.de