IT & Software

Formal Methods Engineer: Model Checking & Smart Contracts

CertiK

York And North Yorkshire · England · United Kingdom

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).

#J-18808-Ljbffr

Reference: WJ-766_22244386

Apply now

Continue on the employer's official application - the same link they use for every candidate.

More jobs

This role is listed on GigBlows for discovery and search. Hiring decisions and applications are handled by the employer or their chosen application system.