6 formal-semantics Postdoctoral positions at Technical University of Munich in Germany
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
static and dynamic 3D 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
-
/forschung/gruppen/numerical-analysis/research/ Typical responsibilities you can expect: Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches Formal proofs, e.g
-
Euro / year + 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
-
Euro / year + 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
-
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