Sort by
Refine Your Search
-
such as scalable identification algorithms, uncertainty quantification, and the integration of learning-based models with formal verification. We offer a supportive, inclusive, and collaborative research
-
Date: 01 July-01 December 2025 Closing Date for Applicants: 15 June 2025 Duration: 3 years with a possible extension (individual duration for Postdocs). Project and Job Description Formal verification
-
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
Enter an email to receive alerts for formal-verification "https:" positions