حول CertiK
CertiK uses rigorous Formal Verification technology to provide hacker-resistant smart contract and blockchain audits, thorough penetration testing, and customized security integrations.
1 فرصة عمل في Certik
Software Engineer Engineer Iii To Principal - Formal Methods
CertiK -
Seattle
, WA - الولايات المتحدة
دوام كامل
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 المزيد...
