Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Fabrizio Pastore
-
: 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
-
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