Posted 19 days ago
Description
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
