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
We have an opening for a Formal Methods Engineer: Model Checking & Smart Contracts in York and North Yorkshire, England, United Kingdom within IT & Technology.
The following position is for a Formal Methods Engineer: Model Checking & Smart Contracts with CertiK.
Our organisation is growing, and we are hiring a Formal Methods Engineer: Model Checking & Smart Contracts in York and North Yorkshire, England, United Kingdom.