PhD / PostDoc in Formal Verification
PartagerInstitution: TU Munich
Allemagne
Retrouvé: : 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
Les plus recherchés
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,
Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.
