PhD / PostDoc in Formal Verification
ShareInstitution: TU Munich
Germany
Retrieved : 2025-11-08
Description :
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
Most searched
PhD positions, Postdoctoral positions, Assistant professor jobs, Associate professor jobs, Full professor jobs, professor jobs, Lecturer jobs, Senior lecturer jobs, reader jobs, Assistant jobs, Mathematics jobs, Statistics jobs, Physics jobs, Chemistry jobs,
Disclaimer :
We aim to provide correct and reliable information about
upcoming events, but cannot accept responsibility for the text
of announcements or for the bona fides of event organizers.
Please feel free to contact us if you notice incorrect or
misleading information and we will attempt to correct it.
