COMPANY PROFILE · UPDATED 18 NOV 2025
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…
This profile is unclaimed — do you work here? Claim it
Claim it →- Founded
- 2017
- Headcount
- 162
- Open roles
- 27
- Last raised
- Series B · Sign in to view
TECH STACK
How CertiK builds
LEADERSHIP
Founders & key people
OPEN ROLES
Hiring at CertiK
FUNDING
Capital raised
TAGS
Categorized in
Industry
Investors
Collections
LOCATIONS
Where they work
CertiK offices
Loading map…
- New York, NY1001 Ave of Americas