Sort by
Refine Your Search
-
Category
-
Employer
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
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
-
and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology. Our pre
-
learning, safety-critical control, probabilistic modeling, verification, or optimization; Excellent communication skills in English and the ability to work both independently and collaboratively in