CertiK

Services

Leading Web3 security firm using AI and formal verification for blockchain audits and monitoring

No open positions

Quick Facts

Largest Web3 security service provider specializing in smart contract audits, formal verification, and AI-driven blockchain security monitoring

Founded

2017

Headquarters

New York, New York

Key Products

Smart Contract Audits, Skynet (real-time monitoring platform), Skynet Enterprise, DLT Solution, Security Scanning and Analysis, Penetration Testing, Bug Bounty, SkyTrace, Formal Verification, KYC

Team Size

200-1000

About CertiK

CertiK provides blockchain security auditing, real-time monitoring via Skynet, and risk assessment for smart contracts, protocols, and Web3 apps, founded in 2018 by Yale and Columbia professors. It combines formal verification, AI-driven analysis, and on-chain intelligence, securing over $360 billion in assets for nearly 4,000 clients including Aave, Polygon, and Binance Smart Chain while detecting tens of thousands of vulnerabilities. As the largest provider holding over 65% of the global blockchain auditing market, CertiK supports enterprises transitioning to Web3 with institutional-grade tools and has earned recognition from tech giants like Apple and Samsung.

Data Stack & Tools

pythonrsqltableaudatabricksexcel

Past Roles

Business Data Analyst

CertiK

📍 New York, NY💰$80k - $93k🕐 4 months ago

EXPIREDOnsite

Closed