Sort by
Refine Your Search
-
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
-
distinctive and impactful research profile as part of this position. The position offers excellent resources and the opportunity to connect with the department’s research programs on formal and informal science
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions