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