CertiK
CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and…

New York, NY
This is the record ChatGPT, Claude and Google read about CertiK. Claiming it controls the source; answers update as assistants re-crawl.
- Founded
- 2017
- Headcount
- 162
- Open roles
- 31
- Last raised
- Series B

Where they work
Capital raised
How CertiK builds
Hiring at CertiK
Hiring team? Claim the profile to keep roles and the careers link accurate
Founders & key people
Companies like CertiK
Picked from companies in the same industries as CertiK, ranked by funding-stage adjacency and hiring activity.
Sila
Portland, OR · Series A
Sila is the leading money API for fintech and crypto. Using our developer-friendly sandbox, bank agency, and embedded compliance, our…
Aleph
New York, NY · Series B
Aleph is the solution that every Finance department needs. Aleph allows ordinary spreadsheets in Excel or Google Sheets to have specialized…