About CertiK
CertiK uses rigorous Formal Verification technology to provide hacker-resistant smart contract and blockchain audits, thorough penetration testing, and customized security integrations.
1 Job openings in Certik
Software Engineer Engineer Iii To Principal - Formal Methods
Certik -
Seattle
, WA USA
Full-Time
115000 - 230000
Why usBlockchain technology is enabling a rapidlygrowing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed they are public and cannot be changed. Vulnerabilities and bugs in More...
