Explore AI roles

Keyboard friendly • Copy, share & save roles

Sort by

The Web3 Foundation nurtures and stewards technologies and applications for the decentralized web. We collaborate wit...

Dev Javascript Rust Research

$54k - $90k* · Senior Fully remote

Apply

The Web3 Foundation nurtures and stewards technologies and applications for the decentralized web. We collaborate wit...

Dev Javascript Rust Research

$54k - $90k* · Senior Fully remote

Apply

Selected role

Formal Verification Research Engineer

Web3 Foundation Zug Switzerland

Live

$54k - $90k · Senior Full-time Posted about 4 years ago 3 min read

The Web3 Foundation nurtures and stewards technologies and applications for the decentralized web. We collaborate with cutting-edge developer teams, researchers and community leaders to strengthen and extend the uses of decentralized technologies; building the future of identity, privacy, financial markets, commerce, and more. Our core project at the moment is Polkadot, a protocol designed to connect blockchains and allow them to interoperate, share security and more. In addition, we are supporting the development of a number of technologies that form the Web 3.0 tech stack - such as decentralized messaging, distributed storage and secret management. We are a lean team with a flat organization. This position is based in Zug, Switzerland but we would consider remote (EU) working for outstanding candidates. As part of our research team, we are looking for a formal verification enthusiast who would be eager to strategize and lead our endeavor of bringing practical formal verification to Polkadot. Apart from the in-house efforts within W3F’s Security and Research Teams, there has already been quite an interest from the community to assist with the formal verification of our algorithms and protocols. We are working on new algorithms for Polkadot and improving the current ones, we therefore need to ensure that they are secure and that no flow paths have been missed that could undermine protocol correctness. Tasks

Conduct formal verification proofs on key algorithms and protocols designed by the Web3 Foundation Research Team for the Polkadot system Conduct research on formally verifying software updates for Polkadot Liaise with external formal verification teams to guide their efforts on related projects Support internal Grants team for any formal verification applications. For example, by helping them scope and evaluate deliverables.

Requirements

Masters in Computer Science or similar. Solid background in formal methods and program verification Extensive experience with formal verification frameworks, e.g. TLA+, Coq, and functional programming languages, e.g. Haskell Familiar with formal specification and verification of distributed and decentralized systems Approachable personality and clear communication >

A plus

PhD in Computer Science or similar with a focus on formal verification Experience with Substrate or Wasm Experience and proficiency in other languages such as JavaScript, C, C++ CI & Automation tools Experience or willingness to learn rust

Benefits

Competitive compensation and employee benefits Regular company retreats at unique locations located around Europe Opportunity to work in a multinational, high-performance team with diverse backgrounds (i.e. physics, computer science, machine-learning algorithm design, legal, financial products, management consulting, marketing & advertising, etc.)

To apply to this position, we invite you to answer a few questions in the application form, and to submit your CV and a cover letter, telling us a bit about yourself and your motivation to join us. We look forward to hearing from you!

Ready to apply? You'll go straight to the hiring team.

No agency in the middle · Your profile is shared privately.

Explore the complete AI ecosystem

Discover the best AI-first companies, podcasts, events, learning paths, and jobs in one focused hub.

AI Learning Hub · Always curated, never noisy

Simple pricing for serious AI hiring

Pay per listing. No subscriptions, no hidden fees. Designed for teams hiring for high-impact AI roles.

No-risk: replace or refund if the role doesn’t get traction.

Standard listing

Reach active AI talent

For startups

$349 per role

30-day live listing in the AI job feed.
Structured posting written for AI engineers (we’ll help refine copy).
Instant alerts to subscribed candidates for your tags (LLMs, agents, infra, etc.).

Most teams see first applicants within 24–48 hours.

Max visibility to senior talent

For scale-ups

$649 per role

Everything in Standard, plus homepage & “Featured role” placement.
Priority placement in weekly AI roles newsletter.
1:1 review of your role with DevFound to calibrate for top-tier candidates.
Highlight badge on job page to increase conversion.

Best for teams hiring 1–3 critical AI roles this quarter.

Research Web3 Jobs in Zug, Switzerland

Explore AI roles

Formal Verification Research Engineer

Formal Verification Research Engineer

Explore the complete AI ecosystem

Choose Your Plan

Simple pricing for serious AI hiring

Reach active AI talent

Max visibility to senior talent