Sort by
Refine Your Search
-
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
-
the following conditions: Scientific Area: Physics Admission requirements: To have a PhD in Physics or related areas; The place of development of the research work to obtain the degree of Doctor complies with
-
11.04.2025, Academic staff The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of automatic formal
-
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