CertiK
Jobs at Similar Companies
Jobs at CertiK
Search the 1 job at CertiK
Recently posted jobs
As a research software engineer at CertiK, you will develop tools for verifying the correctness of smart contracts, work on model checking and formal verification algorithms, and collaborate with a team to enhance software verification processes and security properties.