Certora
certora.com
Actively hiring
EDA Software
Smart Contracts & Security
Blockchain & Crypto
As featured in
View 1 job
Claim pageClaim
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
Funding and backers
Total raised
$36M
1 round on record
Latest round
$36M
Venture round · May 2022 · 4 yr ago
Team
51-200
employees, estimated range
Hiring now
1
+1 posted in 30 days
The money's age
Long since its last round
53 months since the last round · and hiring
Momentum
13/100
hiring for its size
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Nov 21, 2025
Launched Certora Launches the First Safe AI Coding Platform for Smart Contracts · investing.com
Nov 13, 2025
Partnership Certora Partners with Cork and Hypernative to Set a New Standard for Web3 Security · thestreet.com
May 17, 2022
Raised a round Venture round $36M
2018
Founded
Tractionpublic signals, read monthly
Web presence
top 2%
of 133.2M domains by links, Common Crawl
Hacker News stories
1
best: 3 points
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Venture round | May 2022 | $36M | — | coindesk.com |
Investors in similar startupsfunds that back the companies most like this one
backs Flare Network
Similar startupsby what they do, their industry and backers
Hexens is a blockchain security firm providing smart contract audits, protocol reviews and offensive security testing. Its researchers have…
Comprehensive dev tool for Smart Contracts, AI based audit, and analysis.
Veridise is a blockchain security company combining manual audits with automated program analysis and formal verification. Spun out of…
ChipAgents builds artificial intelligence agents for chip design and verification. Its systems write testbenches and debug register…
Flare is a layer-1 blockchain that provides decentralised data and interoperability services to smart contracts. Its enshrined oracle and…
Formal verification sign-off service for digital IP&SoCs. LUBIS EDA helps teams reduce risk and reach predictable, high-confidence sign-off…
Overview
Certora applies formal verification to smart contracts, mathematically proving that code satisfies specified properties. Its Prover is used by major DeFi protocols to check invariants that conventional audits and testing can miss. The company also runs verification services and educational programmes for protocol engineering teams.
News
H1 2026 Crypto Hacks Reach Record High as Losses Fall Below USD 1 Billion TRM Labs
Crypto hack incidents hit a record 207 in H1 2026, but losses fell to USD 972M. TRM's analysis breaks down North Korea's role and the two threat models defining 2026.
Read more
Report
Certora Launches the First Safe AI Coding Platform for Smart Contracts
Tipranks Press Release.
Read more
Report
Certora Raises $36M for Smart Contract Security Tools
Jump Crypto led the funding round for the firm, which secures $50 billion of DeFi assets.
Read more
Report
Certora Raises $36M for Smart Contract Security Tools
Jump Crypto led the funding round for the firm, which secures $50 billion of DeFi assets.
Read more
Report
Certora raccoglie 36 milioni di dollari per gli strumenti di sicurezza degli smart contract
Jump Cripto ha guidato il round di finanziamento per l'azienda, che si è assicurata 50 miliardi di dollari di asset DeFi.
Read more
Report
Certora Nagtaas ng $36M para sa Smart Contract Security Tools
Pinangunahan ng Jump Crypto ang pag-ikot ng pagpopondo para sa kompanya, na kumukuha ng $50 bilyon ng mga asset ng DeFi.
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Certora over the last 12 months, by layer, with the share of postings for each.
Technologies in use
13
Postings analysed
1
Stack modernity
88/100AI adopter
Languages
Python
SQL
Solidity
Cloud & platforms
AWS
GCP
Developer tools
OpenAI Codex
AI & ML
Claude
LLM
Practices & domains
DeFi
Other
Aave
Compound
Lido
Uniswap
Sign in to see how your skills match this stack
Sign In
Growth
Hiring Momentum
73/100
Growing
Open positions
1
1 opened / 0 closed in 30 days
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Backend
100% ▲
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Tel Aviv
Israel
HQ
50-200 est. staff
Jobs
≈ $131k – $241k per year (Estimated) • Hybrid • 7+ years exp • United States
Python
SQL
Solidity
Certora
AI/ML
Claude
LLM
OpenAI Codex
DevOps
GCP
AWS
Web3
Aave
Lido
Uniswap
Compound
DeFi
Apply
Financials
Total raised
$36M
Latest round
Venture - Series Unknown
Funding rounds
1
Funding rounds
| Round | Announced | Amount | |
|---|---|---|---|
| Venture - Series Unknown | 2022 | $36M | Details |