Skill

Formal Method Jobs

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

Job market intelligence

formal method market pulse

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

Open jobs

As of 2026-09-25

Hiring companies

Distinct employers

New this week

+3 vs prior week

Job velocity

Low activity

7 days vs previous 7 days

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.

4 open jobs

Program Director Formal Methods

OpenAI Foundation·2 days ago

2 days agoHeadSalary: 300K - 370KSan Francisco, USA Hybrid Full Time Cybersecurity Jobs by OpenAI Foundation

Hybrid · San Francisco · Required

View organization details

Recently funded

A nonprofit grantmaking organization advancing OpenAI's mission of ensuring AGI benefits all humanity through AI-related scientific, resilience, economic, and community programs.

Funding

AI for Civil Society and Philanthropy commitment10 Jun, 58584 2026 People-First AI Fund commitment27 Nov, 58422 People-First AI Fund second-wave grants15 Oct, 58392 Additional 2026 People-First AI Fund commitment15 Oct, 58392 AI Resilience grants in progress29 Jul, 58384 Economic Futures commitment20 Nov, 58370 AI for Alzheimer’s grants being finalized23 Sep, 58236 Foundation expected philanthropic investment29 Aug, 58195 People-First AI Fund first-wave grants2 Oct, 57891 People-First AI Fund Board-directed grants2 Oct, 57891 Health and AI Resilience philanthropic commitment9 Mar, 57793 People-First AI Fund commitment16 Apr, 57656

View all 10 skills

Compiler Cryptography Cybersecurity Formal Method Formal Verification Grantmaking Hardware Programming-Language Software System Security

View Details

View Job Details

Protocol Security Researcher

Aave Labs·5 days ago

5 days agoLead Cybersecurity Jobs by Aave Labs

View organization details

Aave Labs develops products and software for the Aave ecosystem and is the original author and contributor to Aave Protocol.

View all 16 skills

Accounting Ai Collateral Defi Formal Method Fuzzing Governance Incident Response Integration Invariant Testing Lending Liquidation Oracle Protocol Security Smart Contract

View Details

View Job Details

Platform Security Engineering Operating Systems

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