12 formal-method-phd Postdoctoral positions in Germany

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method-phd positions

PhD/Postdoc Position for Safe Navigation of Autonomous Ships

Technical University of Munich | Germany | 3 months ago

interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 12 days 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

Enter an email to receive alerts for formal-method-phd positions