Explore Formal Verification jobs in blockchain and crypto. Find positions requiring Formal Verification skills.
Daily open opportunities, newly observed postings, hiring breadth, and normalized monthly compensation for jobs in this pillar.
As of 2026-09-02
Distinct employers
+4 vs prior week
7 days vs previous 7 days
Remote pay is separated from onsite and hybrid pay so expensive cities do not distort the remote benchmark.
Remote
Limited evidence10 salaries from 6 employers
12 open jobs at 11 hiring companies
Onsite + hybrid
Limited evidence14 salaries from 6 employers
16 open jobs at 10 hiring companies
| Country market | Open jobs | Hiring companies | Median | Middle 50% | Evidence |
|---|---|---|---|---|---|
| United States | 13 | 8 | $19.2K/mo | $14.6K/mo – $20K/mo | 9 salaries from 4 employersLimited |
| Switzerland | 1 | 1 | $10.6K/mo | $10.6K/mo – $10.7K/mo | 4 salaries from 2 employersLimited |
Open jobs are current; salary evidence covers the past 12 months and also uses closed postings. Every place rolls up through its canonical city, region, country, and continent hierarchy exactly once.
Open roles, employers, and newly listed jobs by day
Historical context; use the work-market split above for current pay
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.
20 open jobs
Zoth·4 days ago
Zoth is a privacy-first stablecoin neobank providing institutional-grade infrastructure for yield, cross-border payments, tokenization, compliance, and agentic finance. Its products serve institutions, enterprises, neobanks, exchanges, family offices, money transfer operators, SMEs, importers, exporters, and payment service providers.
Funding
Certora·4 days ago
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
Funding
Nexus·1 week ago
Nexus operates an EVM-compatible Layer 1 blockchain built for programmable and verifiable finance.
Funding
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
Bitdeer·2 weeks ago
Bitdeer is a technology company providing Bitcoin mining solutions.
Investors
Certora·2 weeks ago
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
Funding
Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.
Funding
ChainSecurity·3 weeks ago
ChainSecurity provides smart contract audits and security services for blockchain projects, financial institutions, and corporate clients.
Compound Foundation·3 weeks ago
Compound Foundation supports the long-term growth of the Compound ecosystem.
OneBalance·3 weeks ago
OneBalance helps developers build chain-abstracted applications by providing unified balance management and one-click cross-chain execution.
Informal Systems·1 month ago
Informal Systems is a Toronto-based worker-owned technology company and incubator focused on fostering trust in software and money through formal verification, distributed systems, blockchain infrastructure, payments, and related technologies.
CertiK·1 month ago
CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.
Funding
Investors
Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.
Investors
Movement Labs·1 month ago
Movement Labs builds Move-based blockchain infrastructure that bridges the security of the Move programming language with Ethereum's ecosystem and liquidity.
Funding
Investors
Kairos Labs, Inc.·1 month ago
Kairos Labs develops Kairos, a permissionless onchain interest rate swap protocol. It enables users and liquidity providers to hedge interest-rate risk, speculate on rate movements, and create fixed-income strategies across Ethereum-compatible networks.
Funding
Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.
Investors
The Better Money Company is building a stablecoin clearinghouse.
Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.
Investors
IOHK·1 month ago
IOHK builds high-assurance blockchain infrastructure through academic research and evidence-based development for public and private sector clients.
