← Back to all jobs
CertiK logo

CertiK

Services

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

1 open position

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

Open Positions