3 formal-verification "https:" Postdoctoral positions in Germany

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

Technical University of Munich | Germany | 8 days ago

automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international

PhD/Postdoc Position for Provably Safe Reinforcement Learning

Technical University of Munich | Germany | 3 months ago

Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff

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