Analysen (Crash, Blastwirkung, Impact) • Durchführung analytischer Berechnungen und Abschätzungen • Bewertung der Insassenbelastung mit Hilfe von numerischen Dummies
Vor 15 TagenVor 15 Tagen veröffentlicht
PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis
München
Technische Universität München
Vollzeit55.000 € – 67.000 €
Project and Job Description Formal verification of cyber-physical systems is an enabler of critical technologies that potentially cause fatalities (e.g. crash of