Sort by
Refine Your Search
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 3 hours ago
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
-
5 Nov 2025 Job Information Organisation/Company University of Bergen Department Department of Mathematics Research Field Mathematics Researcher Profile Recognised Researcher (R2) Positions Postdoc
-
| Human Resources and UT Austin Employee Experience | Human Resources Must be authorized to work in the United States on a full-time basis for any employer without sponsorship. Purpose The Postdoc employed
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions