Skip to content

Software Engineer (Engineer III to Principal) – Formal Methods

CertiK is hiring a Software Engineer (Engineer III to Principal) – Formal Methods in Remote — USA.

  • CertiK
  • Remote — USA
  • Software Engineering

Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure...