Sort by
Refine Your Search
-
Country
-
Employer
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions