PhD / PostDoc in Formal Verification
ShareInstitution: TU Munich
Alemanha
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 : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.
