2 verification "Technische Universität München" PhD positions

PhD Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability AnalysisFull PhD

DAAD | Germany | 3 months ago

Transcripts Application Application https://portal.mytum.de/jobs/wissenschaftler/NewsArticle_20250411_113639 https://www.ce.cit.tum.de/cps/research/ Contact Technische Universität München School of Computation

PhD Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability AnalysisFull PhD

DAAD | Germany | 3 months ago

/wissenschaftler/NewsArticle_20250411_113639 https://www.ce.cit.tum.de/cps/research/ Contact Technische Universität München School of Computation, Information and Technology Address StreetArcisstraße