Formal Methods Engineer: Model Checking & Smart Contracts
CertiK · North Yorkshire, England ·
Apply on partner site
You apply on the advertiser's own site — nothing is stored here.
CertiK is seeking a skilled software verification engineer to extend and enhance automated program verification tools. You will design new methods for symbolic model checking and improve translators for intermediate representations, enabling efficient, rigorous analysis.
The role requires 4+ years of development experience, a Master's (or 5 years equivalent) with strong CS fundamentals, and experience with model checking, SAT/SMT solvers, and functional programming (OCaml or Haskell).
Apply on partner site
Listing supplied by one of our partner job boards. Last confirmed: 11 hours ago.
More jobs with this title
Formal Methods Engineer
janestreet · 4 months ago
Software Engineer (Formal Methods)
CertiK · 2 days ago
Methods Engineer
Kbr · 2 days ago
Methods Engineer
Fawkes & Reece London · 2 days ago
Methods Engineer
Fawkes & Reece · 1 week ago
Methods Engineer
Navartis · 1 month ago
Methods Engineer
Navartis · 1 month ago
Formal Verification Engineer
Apple · 1 day ago