4 formal-method-phd "https:" Postdoctoral scholarships

PhD/Postdoc Position for Safe Data-Driven Identification of Cyber-Physical Systems

Technical University of Munich | Germany | about 11 hours ago

formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles

FCUP - One Research Grant | Pos-Doctoral - BTNature

Faculty of Sciences of the University of Porto | Portugal | 28 days ago

of publication of the Research Grant Announcement. Applications must be formalized, mandatorily, through the web page of Infociências of this opening (https://info.fc.up.pt/fcup/pedidos/users/novo.php?f_id=1291

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

Technical University of Munich | Germany | about 10 hours ago

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/prof-dr-ing

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

Technical University of Munich | Germany | about 1 month ago

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