Company

Jobs at Certora

Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.

Urgently Hiring

Crypto Beginner Jobs

Job market intelligence

Certora market pulse

Daily open opportunities, newly observed postings, hiring breadth, and normalized monthly compensation for jobs in this pillar.

Open jobs

As of 2026-08-18

Hiring companies

Distinct employers

New this week

+1 vs prior week

Job velocity

Low activity

7 days vs previous 7 days

Opportunity activity

Open roles, employers, and newly listed jobs by day

Earlier open counts are estimated from observation dates. Offline postings are never inferred open for more than 90 days; new daily samples are exact snapshots.

Certora

Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.

Series B21 current maintainers16 active leads9 new active leads6 lead step-downs4 early lead departuresTeam intelligence

Maintainer signals as of 8/14/2026

Tel Aviv, Central District, Israel

Funding history

GrantsSeries B ($36M)Series B ($36M)

Investors

Ethereum Foundation Electric Capital Framework Ventures Jump Crypto A Capital

Projects

Certora ProverBlockchain Development Security Tools

Certora GambitBlockchain Development Security Tools

About Certora

Certora provides formal verification tools for blockchain security. It analyzes smart contracts on Ethereum, Solana, and Stellar by checking execution paths against specifications. Users define security rules in a verification language, enabling detection of bugs before deployment. The system generates counterexamples when vulnerabilities are found and secures high-value blockchain protocols.