Skill

Formal Verification Jobs

Explore Formal Verification jobs in blockchain and crypto. Find positions requiring Formal Verification skills.

Job market intelligence

formal verification market pulse

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

Open jobs

As of 2026-10-19

Hiring companies

Distinct employers

New this week

+2 vs prior week

Job velocity

Low activity

7 days vs previous 7 days

Compensation by work market

Remote pay is separated from onsite and hybrid pay so expensive cities do not distort the remote benchmark.

Remote

Limited evidence

$17.1K/mo

14 salaries from 10 employers

19 open jobs at 15 hiring companies

Onsite + hybrid

$19.6K/mo

30 salaries from 14 employers

35 open jobs at 15 hiring companies

Country market	Open jobs	Hiring companies	Median	Middle 50%	Evidence
United States	27	13	$20K/mo	$17.7K/mo – $22.9K/mo	25 salaries from 12 employers

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.

Opportunity activity

Open roles, employers, and newly listed jobs by day

All-mode pay history

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.

Solidity Compiler Frontend Engineer

CertiK·1 year ago

1 year agoSeniorSalary: 140K - 220KUnited States Remote Full Time Smart Contracts Jobs by CertiK

Remote · United States · Required

View organization details

Series B0 current maintainers0 active leads

CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.

Funding

Series B$24M · 17 Aug, 2021 Series B$24M · 1 Aug, 2021 Series B$37M · 7 Jul, 2021 Series B$37M · 1 Jul, 2021 Series B$80M · 1 Jan, 2021 Series A$7.7M · 3 Jun, 2020 Unknown1 Oct, 2018 Seed$3.5M · 1 Mar, 2018 Seed1 Jan, 2018

View all 13 skills

Ast C Compiler Evm Formal Verification Lexical Analysis Llvm Parsing Semantic Analysis Smt Solver Solidity Static Analysis Type System

View Details

View Job Details

Smart Contract Engineer

Veda·1 year ago

1 year agoLead Anywhere Remote Full Time Smart Contracts Jobs by Veda

View organization details

0 current maintainers0 active leads

Veda is an active DeFi infrastructure company providing multichain vault infrastructure for embedded onchain-yield products.

Funding

Unknown$18M · 1 Jun, 2025

Investors

Alumni Ventures (AVG)GSR Markets LTD Relayer Capital Draper Dragon Credibly Neutral BitGo Mantle Network Animoca Ventures Coinbase Ventures Maelstrom CoinFund Heartcore Capital PEER Venture Partners

View all 26 skills

View Details

View Job Details

Protocol Engineer

The Fun Group, Inc.·1 year ago

1 year agoLead New York, USA Onsite Full Time Smart Contracts Jobs by The Fun Group, Inc.

Onsite · New York · Required

View organization details

Series ARecently funded

The Fun Group, Inc. (Fun) provides global payments infrastructure for modern fintechs and internet capital markets, combining fiat and blockchain payment rails.

Funding

Series A$72M · 1 May, 2026 Unknown$3.9M · 1 Oct, 2022

Investors

Justin Mateen Infinity Ventures Crypto (IVC)Great Oaks Venture Capital Nomo Ventures Soma Ventures JAM Fund Multicoin Capital SignalFire Pharsalus Capital

View all 17 skills

Blockchain Bridge Consensus Mechanism Cross-Chain Communication Cryptography Defi Dex Formal Verification Move Oracle Protocol Implementation Rust Security Audit Smart Contract Solidity Testing Token Standard

View Details

View Job Details

Senior Software Engineer, C++

Stellar Development Foundation·1 year ago

1 year agoSeniorSalary: 180K - 290KManhattan, NY, USA Hybrid Full Time Token Allocation Engineering Jobs by Stellar Development Foundation

Hybrid · Manhattan · Required

View organization details

Seed57 current maintainers53 active leads8 new active leads5 lead step-downs

Stellar is an open-source blockchain network designed to facilitate fast, low-cost cross-border payments and financial transactions globally.

Funding

Seed$3M · 1 Aug, 2014 Seed$3M · 1 Jul, 2014

Investors

Stripe

View all 15 skills

Benchmarking C Code Review Consensus Distributed Systems Formal Verification Multi-Core Performance Networking Peer-To-Peer Networking Performance Debugging Protocol Design Rfc Rust Simulations Software Design

View Details

View Job Details

Protocol Engineer

LayerZero·1 year ago

1 year agoSeniorSalary: 120K - 200KVancouver, Canada Remote Full Time Smart Contracts Jobs by LayerZero

Remote · Vancouver · Required

View organization details

Series B6 current maintainers

LayerZero enables applications to move data and assets across blockchains through secure message passing with configurable security models.

Funding

Unknown10 Feb, 2026 Private token sale$55M · 17 Apr, 2025 Unknown$55M · 1 Apr, 2025 Series B$120M · 1 Apr, 2023 Series A+$135M · 31 Mar, 2022 Series A$135M · 1 Mar, 2022 Series A$6M · 16 Sep, 2021 Series A$6.3M · 1 Sep, 2021 Seed$2M · 1 Apr, 2021

Investors

Fantom Foundation cFund Matrixport Ventures Echelon Capital OpenSea Zokyo Ventures Andreessen Horowitz (a16z crypto)Robot Ventures Sandeep Nailwal NGC Ventures Lightspeed Venture Partners PayPal Ventures Genblock Capital Protofund Animoca Brands Multicoin Capital Ghaf Capital Partners FTX Ventures Kronos Research Stani Kulechov Roham Gharegozlou Coinbase Ventures Circle Ventures Delphi Digital King River Capital Bond Capital Gemini Frontier Fund Sequoia Capital Bixin Ventures Hypersphere Global Coin Research (GCR)ATRUM BPEA EQT Christie’s Santiago R. Santos Ryze Labs (ex SINO Global Capital)MVP Ventures P2 Ventures (Polygon Ventures)YZi Labs (ex Binance Labs)K5 Ventures Blockdaemon Ventures MC Ventures (Muhabbit Capital)ImToken Ventures Franklin Templeton Avalanche Maple VC Tiger Global Chapter One Operator Partners a16z crypto Uniswap Labs Ventures CoinFund Protocol Ventures Samsung Next GS Futures com2us DeFiance Capital The Spartan Group Red Beard Ventures Space Whale Capital Dapper Labs Volt Capital IOBC Capital

View all 20 skills

View Details

View Job Details

Senior Distributed Systems Engineer

NEBRA·1 year ago

1 year agoSenior New York, USA Onsite Engineering Jobs by NEBRA

Onsite · New York · Required

View organization details

Seed0 current maintainers0 active leads

NEBRA is a research and development organization building zero-knowledge infrastructure, led by its Universal Proof Aggregation (UPA) protocol for lower-cost, composable proof verification on Ethereum and other EVM chains.

Funding

Seed$4.5M · 1 Apr, 2024

Investors

Bankless Ventures Sandy Peng Nascent Tim Beiko Haichen Shen Kartik Talwar Nick White

View all 32 skills

View Details

View Job Details

Senior Device Security Engineer

Tools for Humanity·1 year ago

1 year agoLeadSalary: 213K - 319KSan Francisco, USA Onsite Cybersecurity Jobs by Tools for Humanity

Onsite · San Francisco · Required

View organization details

0 current maintainers0 active leads

Tools for Humanity is a technology company building products for humans in the age of AI.

View all 18 skills

Android Attestation Cryptography Firmware Formal Verification Hardware Security Hsm Ios Linux Remote Attestation Secure Boot Secure Manufacturing Sel4 Technical Specification Tee Test Plan Tpm Virtualization

View Details

View Job Details

Job for Web3 Beginners

Security Engineering Lead

Espresso Systems·2 years ago

2 years agoLead Anywhere Remote Full Time Cybersecurity Jobs by Espresso Systems

View organization details

Series B19 current maintainers12 active leads8 lead step-downs

Espresso Systems is a technology company that builds and operates blockchain infrastructure for custom chains, financial systems, fast finality, and crosschain interoperability.

Funding

Public token sale$4M · 5 Aug, 2025 Public Sale$4M · 1 Aug, 2025 Series B$28M · 1 Mar, 2024 Series A$32M · 8 Mar, 2022 Series A$30M · 1 Mar, 2022 Seed$3.1M · 30 Nov, 2020 Seed$2M · 1 Jul, 2020

Investors

Andreessen Horowitz (a16z crypto)Electric Capital Offchain Labs Blockchain Capital Starkware Taiko Electric Capital Sequoia Capital P2 Ventures (Polygon Ventures)O(1)Labs Terraform Labs Greylock Greylock Slow Ventures

View all 15 skills

Asynchronous Programming Auditing Distributed System Evm Formal Verification Foundry Pentesting Rust Security Slither Smart Contract Software Architecture Solidity Static Analysis Testing

View Details

View Job Details

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK·4 years ago

4 years agoSeniorSalary: 115K - 230KNY, Seattle, SF Remote Full Time Smart Contracts Jobs by CertiK

Remote · United States · Required

View organization details

Series B0 current maintainers0 active leads

CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.

Funding

View all 16 skills

Abstract Interpretation Algorithm Automata Theory Automated Testing Ci/Cd Data Flow Analysis Data Structure Deductive Verification Formal Verification Haskell Mathematical Logic Model Checking Ocaml Programming Language Sat Smt

View Details

View Job Details

Formal Verification Jobs

formal verification market pulse

Compensation by work market

Opportunity activity

All-mode pay history

Applied filters

Role & requirements

Work setup & location

Pay & timing

Company & funding

Developer activity

Protocol & market

Sort results