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
Formal Methods Engineer: Model Checking & Smart Contracts employer: CertiK
As a Software Engineer (Formal Methods) at our company, you will be part of a dynamic and innovative team dedicated to advancing automated program verification tools. We offer a collaborative work culture that encourages creativity and continuous learning, alongside competitive benefits such as flexible paid time off, comprehensive health insurance, and a 401(k) plan with company matching. Located in a vibrant tech hub, we provide ample opportunities for professional growth and the chance to work on cutting-edge projects that make a real impact in the field of software development.
