2 formal-verification-computer-science-"Prof" Postdoctoral positions in Germany

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science-"Prof" positions

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

Technical University of Munich | Germany | about 2 hours ago

: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 5 days ago

10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification

Enter an email to receive alerts for formal-verification-computer-science-"Prof" positions