Certik
Provides security audits and monitoring for blockchain and smart contracts.
Lightspeed — Backed by Lightspeed
SoftBank Vision Fund — Backed by SoftBank Vision Fund H-1B sponsor history — This employer has had H-1B petitions approved by USCIS in the last five fiscal years, per the USCIS H-1B Employer Data Hub. The approval belongs to the employer and is not a commitment to sponsor this role.Company facts
- Founded
- 2017
- Employees
- 323
- Headquarters
- United States
- CEO
- Ronghui Gu
- Type
- Private
- Funding
- Series B · $60M · 2022
- Subsidiaries
- CertiK Ventures
About
CertiK is a pioneer in blockchain security, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK's mission is to secure the web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness. One of the fastest-growing and most trusted companies in blockchain security, CertiK has worked with nearly 4,000 enterprise clients, secured over $360 billion worth of digital assets, and has detected nearly 70,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. CertiK is backed by notable investors including Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, and Goldman Sachs. The company continues to lead the charge in ensuring the security and reliability of blockchain technology across various ecosystems.
Open positions


Software Engineer (Engineer III to Principal) - Formal Methods
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 and correct. Once…