-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
of the Department of Epidemiology at HZI (topic list can be found at HZI | HZI - PhD Studiengang Epidemiologie (helmholtz-hzi.de) ). Admission to the PhD programme is only possible if funding is ensured by
Searches related to formal verification
Enter an email to receive alerts for formal-verification "LIST" positions