Sort by
Refine Your Search
-
Category
-
Employer
-
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 culture. Expected Starting
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
Directions AI for Scientific Computing Neural Operators and Learning-Based Surrogates LLMs and Scientific Agents Agentic AI for Engineering Design Multimodal Scientific AI Alignment and Verification
-
learning, safety-critical control, probabilistic modeling, verification, or optimization; Excellent communication skills in English and the ability to work both independently and collaboratively in