2 software-formal-method-phd positions at Technical University of Munich

Doctoral Candidate (DC 3) – As-built model updating using sensor data for an automatic documenting of a worksite

Technical University of Munich | Germany | about 15 hours ago

data for automatic documentation of a worksite within the Marie Skłodowska-Curie Industrial Doctorate (ENGAGE Network). ENGAGE Network PhD Position Mobile working machines (MWM) are critical

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 1 day ago

- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by