Sort by
Refine Your Search
-
Category
-
Employer
-
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
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions