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
Full job description from WhatJobs. Apply for this role →
York and North Yorkshire
CertiK is seeking a skilled software verification engineer to extend and enhance automated program verification tools.
York and North Yorkshire
Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools
York and North Yorkshire
Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
City of Edinburgh
What if your deep mathematical training could directly shape how AI understands and constructs rigorous proofs?
Manchester
We are seeking a motivated and collaborative individual to join our team as a Research Associate in Ethereum .
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.