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.

Systems Engineer

Nexus·1 month ago

1 month agoLatin America Remote Contract Engineering Jobs by Nexus

Remote · Latham · Required

View organization details

Series A0 current maintainers0 active leads

Nexus operates an EVM-compatible Layer 1 blockchain built for programmable and verifiable finance.

Funding

Series A$25M · 1 Jun, 2024

Investors

Lightspeed Venture Partners Dragonfly Capital Pantera Capital Blockchain Builders Fund (BBF)Lightspeed Faction

View all 19 skills

Benchmarking Blockchain C#Concurrency Consensus Dex Distributed Systems Formal Verification Go I/O Low Latency Profiling Protocol Engineering Rust Scheduling Static Analysis Systems Programming Tracing Transaction Ordering

View Details

View Job Details

Platform Hardware Security

Anthropic·1 month ago

1 month agoLeadSalary: 320K - 405KSan Francisco, CA | New York City, NY | Seattle, WA Hybrid Cybersecurity Jobs by Anthropic

Hybrid · United States · Required

View organization details

Series F+Recently funded0 current maintainers0 active leads

AI safety and research company building reliable, interpretable, and steerable AI systems, including the Claude product family and developer platform.

Funding

Series H$65B · 16 Aug, 58373 Series G$30B · 21 Feb, 58086 Series F$13B · 12 Nov, 57639 Series E$3.5B · 30 Oct, 57138 Strategic investment$4B · 15 Mar, 56205 Series C$450M · 10 Mar, 55359 Series B$580M · 21 Feb, 54294 Series A$124M · 16 Mar, 53374

View all 30 skills

View Details

View Job Details

Senior Formal Verification Engineer

Velaura AI, Inc.·2 months ago

2 months agoSeniorSalary: 200K - 500KSanta Clara, CA Onsite Full Time Engineering Jobs by Velaura AI, Inc.

Onsite · Santa Clara · Required

View organization details

Series C

Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.

Funding

Series C$153M · 16 Apr, 2025 Series C$153M · 1 Apr, 2025 Series B$80M · 1 Apr, 2024 Series A$81M · 16 May, 2023 Series A$81M · 1 May, 2023

Investors

Data Collective DCVC Qualcomm Ventures MVP Ventures Premji Invest PremjiInvest MARA Holdings Cota Capital Maverick Silicon Stanford University GSBackers Marathon Digital Holdings StepStone Group Mayfield Samsung Catalyst Fund dcvc Celesta Capital

View all 25 skills

View Details

View Job Details

Senior Design Verification Engineer – Physical AI Compute

Velaura AI, Inc.·2 months ago

2 months agoHeadSalary: 200K - 500KSanta Clara, CA Onsite Full Time Engineering Jobs by Velaura AI, Inc.

Onsite · Santa Clara · Required

View organization details

Series C

Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.

Funding

Series C$153M · 16 Apr, 2025 Series C$153M · 1 Apr, 2025 Series B$80M · 1 Apr, 2024 Series A$81M · 16 May, 2023 Series A$81M · 1 May, 2023

Investors

View all 29 skills

View Details

View Job Details

Senior/Staff Design Verification Engineer

Bitdeer·2 months ago

2 months agoLead Singapore / Penang, MY Onsite Full Time Engineering Jobs by Bitdeer

Onsite · Singapore · Required

View organization details

0 current maintainers0 active leads

Bitdeer is a technology company providing Bitcoin mining solutions.

Funding

Loans & Equity$179M · 22 Apr, 2025 Unknown$179M · 1 Apr, 2025

Investors

Matrixport Ventures

View all 26 skills

Ahb Amba Apb Axi Bash C Coverage Emulation Formal Verification Git Haps Jaspergold Linux Palladium Perl Python Regression Risc-V Rtl Simulation Sva Systemverilog Uvm Verification Verilog Zebu

View Details

View Job Details

Technical Account Manager

Certora·2 months ago

2 months agoEurope, United States Remote Full Time Sales Jobs by Certora

Remote · United States · Required

View organization details

Series B21 current maintainers10 active leads10 lead step-downs6 early lead departures

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

Funding

Grants1 Feb, 2026 Series B$36M · 18 May, 2022 Series B$36M · 1 May, 2022 Series A$7.2M · 21 May, 2021 Series A$7.2M · 1 May, 2021

Investors

Electric Capital Jump Crypto Semantic Ventures Balaji Srinivasan Stani Kulechov Ethereum Foundation Elad Gil A Capital Coinbase Ventures Framework Ventures Lemniscap Electric Capital Hypersphere Coinbase Ventures Tiger Global CoinFund Galaxy Digital VMware

View all 12 skills

Account Management B2b Sales Blockchain Customer Discovery Cybersecurity Developer Tools Formal Verification Negotiation Qualification Salesforce Technical Sales Technical Scoping

View Details

View Job Details

Design Verification Engineer – Physical AI Compute

Velaura AI, Inc.·2 months ago

2 months agoSalary: 75K - 275KSanta Clara, CA / Austin, Texas / Boston, MA Onsite Full Time Engineering Jobs by Velaura AI, Inc.

Onsite · California, Texas, Massachusetts · Required

View organization details

Series C

Velaura AI develops ultra-low-power silicon and software technologies for AI compute infrastructure.

Funding

Series C$153M · 16 Apr, 2025 Series C$153M · 1 Apr, 2025 Series B$80M · 1 Apr, 2024 Series A$81M · 16 May, 2023 Series A$81M · 1 May, 2023

Investors

View all 28 skills

View Details

View Job Details

Head of Security

Compound Foundation·2 months ago

2 months agoHead Anywhere Remote Full Time Cybersecurity Jobs by Compound Foundation

View organization details

Compound Foundation supports the long-term growth of the Compound ecosystem.

View all 19 skills

Access Application Security Audit Blockchain Bug Bounty Ci/Cd Cloud Cybersecurity Formal Verification Github Identity Incident Response Infrastructure Security Secrets Security Security Engineering Smart Contract Threat Modeling Vulnerability Management

View Details

View Job Details

Protocol Engineer

OneBalance·2 months ago

2 months agoRemote (UTC +-3)Remote Engineering Jobs by OneBalance

View organization details

Series A

OneBalance helps developers build chain-abstracted applications by providing unified balance management and one-click cross-chain execution.

Funding

Series A$20M · 1 Jun, 2025 Angel$5M · 1 Aug, 2024

Investors

Konstantin Lomashuk Matthew Tan Banteg Cyber Fund Viktor Bunin Vasiliy Shapovalov Mirana Ventures hart-lambur Blockchain Capital Curved Ventures cobie Zaki Manian L2 Iterative Ventures (L2IV)Sina Habibian igor-igamberdiev Henri Stern Will Price

View all 18 skills

Blockchain Clob Cryptoeconomics Cryptography Defi Financial Systems Formal Verification Fuzz Testing Matching Engine Protocol Design Risc Zero Rust Security Audit Smart Contract Solidity Sp1 Zero Knowledge Proof Zkvm

View Details

View Job Details

General Application

Informal Systems·2 months ago

2 months agoAnywhere Remote Other Jobs by Informal Systems

View organization details

6 current maintainers

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.

Funding

Unknown$5.3M · 7 Jun, 2023 Unknown$5.3M · 1 Jun, 2023

Investors

Maven 11 Capital Celestia Foundation EigenCloud Nascent Eigenlayer CMCC Global

View all 4 skills

Distributed Systems Formal Verification Operations Security Auditing

View Details

View Job Details