2 software-verification-computer-science Postdoctoral positions in postdoctoral in Germany
-
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 in postdoctoral