-
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
-
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
-
. derivation, analysis, comparison of num. meth. and simulation approaches for PDEs Formal proofs, e.g., for convergence, existence & uniqueness of solutions Fast prototyping of new ideas in individual code
-
reconstruction, semantic scene understanding, and generative models for photo-realistic image / video synthesis. Overall, the main focus is on high-impact research with the aim to revolutionize the research field
-
+ benefits). 3D Semantic Scene Understanding: The world around us exists spatially in 3D, and it is crucial to understand real-world scenes in 3D to enable virtual or robotic interactions with
-
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