Skill

Formal Methods Jobs

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

Job market intelligence

formal methods market pulse

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

Open jobs

As of 2026-11-10

Hiring companies

Distinct employers

New this week

+0 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.

Onsite + hybrid

Limited evidence

$56.3K/mo

5 salaries from 2 employers

3 open jobs at 1 hiring companies

Country market	Open jobs	Hiring companies	Median	Middle 50%	Evidence
United States	3	1	$56.3K/mo	$33.5K/mo – $56.3K/mo	5 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.

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.

Applied Scientist Research Engineer Formal Methods

Mistral AI·2 weeks ago

2 weeks agoParis; London Full Time Ai Jobs by Mistral AI

View organization details

Series DRecently funded13 current maintainers13 active leads5 new active leads15 lead step-downs

Paris-based AI company building frontier models, AI applications, developer tools, and compute infrastructure for enterprise and public-sector deployments.

Funding

Series D18 Aug, 58655 Series C11 Jan, 57659 Series B13 Apr, 56413 Series A31 Mar, 55912 Seed7 Sep, 55416

Investors

Advent Andreessen Horowitz ASML Belfius BlackRock BNP Paribas CIB Bpifrance Carmignac DST Global Eurazeo General Catalyst Grand Duchy of Luxembourg Headline Hillspire Index Ventures Korelya Capital Lightspeed NVIDIA Phoenix Court's Solar fund PSG Equity Salesforce Ventures Samsung Electronics Scaleup Europe Fund (managed by EQT)Andreessen Horowitz ASML Holding NV Bpifrance DST Global General Catalyst Index Ventures Lightspeed NVIDIA Andreessen Horowitz Belfius Bertelsmann Investment BNP Paribas Bpifrance Cisco Eurazeo General Catalyst Hanwha Asset Management venture fund Headline IBM Korelya Capital Latitude Lightspeed Venture Partners Millennium New Horizons NVIDIA Salesforce Ventures Samsung Venture Investment Corporation Sanabil Investments ServiceNow SV Angel Andreessen Horowitz BNP Paribas CMA CGM Conviction Elad Gil General Catalyst Lightspeed Venture Partners Salesforce Bpifrance Eric Schmidt Exor Ventures Firstminute Capital Headline Index Ventures JCDecaux Holding La Famiglia Lightspeed Venture Partners LocalGlobe Motier Ventures Redpoint Rodolphe Saadé Sofina Xavier Niel

View all 17 skills

Autoformalization Benchmark Dataset Formal Methods Formal Reasoning Jax Lean Model Deployment Model Training Proof Assistant Proof Automation Python Pytorch Reinforcement Learning Software Verification Theorem Proving Verified Code Generation

View Details

View Job Details

Research Engineer Chip Design RL

Anthropic·2 weeks ago

2 weeks agoSalary: 500K - 850KSan Francisco, USA Hybrid Ai Jobs by Anthropic

Hybrid · San Francisco · Required

View organization details

Series F+Recently funded51 current maintainers45 active leads15 new active leads30 lead step-downs10 early lead departures

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 11 skills

Asic Design Verification Dft Eda Formal Methods Fpga Physical Design Ppa Optimization Reinforcement Learning Rtl Uvm

View Details

View Job Details

Staff Software Security Engineer Labs

Anthropic·1 month ago

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

Hybrid · United States · Required

View organization details

Series F+Recently funded51 current maintainers45 active leads15 new active leads30 lead step-downs10 early lead departures

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

Funding

View all 19 skills

Attestation C#Cryptography Exploit Development Firmware Security Formal Methods Go Hardware Security Hypervisor Kernel Machine Learning Infrastructure Microvm Python Reverse Engineering Rust Security Engineering Threat Modeling Verification Zero-Knowledge Proof

View Details

View Job Details

Senior Security Engineer Research & Engineering

Trail of Bits·2 months ago

2 months agoSenior United Kingdom Remote Full Time Cybersecurity Jobs by Trail of Bits

Remote · United Kingdom · Required

View organization details

22 current maintainers16 active leads16 lead step-downs12 early lead departures

Trail of Bits provides blockchain security services, including smart contract audits, design assessment, and vulnerability analysis for Web3 projects.

View all 23 skills

View Details

View Job Details

Research Engineer Code Reinforcement Learning

Anthropic·2 months ago

2 months agoSalary: 500K - 850KSan Francisco, CA | New York City, NY Hybrid Ai Jobs by Anthropic

Hybrid · San Francisco | New York City · Required

View organization details

Series F+Recently funded51 current maintainers45 active leads15 new active leads30 lead step-downs10 early lead departures

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

Funding