Remote: Formal Methods Software Engineer

CertiK International is seeking a research software engineer to build automated analyses for provably secure blockchain applications. You’ll work on tools using symbolic model checking, SMT solving, and abstract interpretation within a multinational team. You will contribute from idea to implementation, collaborating across engineering to improve verification techniques and deliver robust software for customers worldwide.