Sort by
Refine Your Search
-
Date: 01 July-01 December 2025 Closing Date for Applicants: 15 June 2025 Duration: 3 years with a possible extension (individual duration for Postdocs). Project and Job Description Formal verification
-
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
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions