Certora
Application Security
1hiring now · open roles
$36Mlatest round · Venture round · May 2022 · 4 yr ago
50+team · employees, estimated range
11stories in the press
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.
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
open roles
The money's age
Long since its last round
53 months since the last round · hiring slowed
Momentum
0/100
no fresh signals
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
Similar startupsby what they do, their industry and backers
Jit is an Israeli application security company that orchestrates open source security tools inside developer workflows. It applies security…
Automate IoT security testing and compliance with major standards and accelerate product development with Test of Things.
ZeroPath applies artificial intelligence agents to application security testing, reasoning about code the way a human auditor would…
Casco maps and attacks your running product with AI agents, preserves reproducible exploit evidence, offers optional human verification…
Merito delivers DevSecOps consulting, application security, quality engineering, SAP testing and upgrades, training, and managed services…
Corgea uses large language models to find and automatically fix security vulnerabilities in application code. Founded in 2023 in San…
Growth
Hiring Momentum
57/100
Growing
Open positions
0
2 opened / 1 closed in 30 days
Median time-to-fill
8 days
faster than 78% of the market
Hiring Dynamics
0%
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% ▲
Financials
Total raised
$36M
Latest round
Venture - Series Unknown
Funding rounds
1
Funding rounds
| Round | Announced | Amount | |
|---|---|---|---|
| Venture - Series Unknown | 2022 | $36M | Details |
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
2
Stack modernity
88/100AI adopter
Languages
Solidity
Python
SQL
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
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
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