Math Jobs in Web3

17 jobs found

web3.career is now part of the Bondex Logo Bondex Ecosystem

Receive emails of Math Jobs in Web3
Job Position Company Posted Location Salary Tags

Runtime Verification

Remote

Genies

Remote

$40k - $55k

Nomos

Remote

$74k - $110k

Logos

Remote

$74k - $110k

Nomos

New York, NY, United States

$74k - $110k

Logos

Lisbon, Portugal

$74k - $110k

Confusion Capital

Remote

$180k - $220k

Confusion Capital

Remote

$180k - $220k

Openmesh

Remote

$45k - $80k

Openmesh

Sydney, Australia

$54k - $100k

Tokemak

Remote

$200k - $300k

CERE NETWORK

Remote

NIL (CYPRUS) LTD

Lima, Peru

$72k - $100k

Space and Time

Remote

$72k - $87k

We are looking for a Security Engineer with a focus on Rust and fuzzing to strengthen our engineering and research team. You will work on open-source projects, design fuzzing frameworks, perform security reviews of client code, and help bring advanced verification methodologies into practice. This role is highly collaborative: you’ll work closely with researchers, security engineers, and client teams to improve the reliability of software in safety-critical environments.

About RV

Runtime Verification (RV) is a pioneer in applying formal methods and security reviews to improve the safety and reliability of critical software systems. Our open-source tools and research have secured billions in value across blockchain (including the Ethereum Foundation, Solana Foundation, Uniswap, and Lido), as well as in aerospace (NASA, Boeing) and automotive (Toyota). Our approach is deeply rooted in the formal verification process, which allows us to rigorously reason about software behavior, uncover subtle flaws, and build confidence in the correctness of safety-critical systems.

About the Role

You will be part of a collaborative team dedicated to ensuring software correctness and security. Your work will involve reviewing, fuzzing, and verifying Rust-based systems, developing and applying advanced verification techniques, conducting security design and code reviews of client and infrastructure code, and contributing to open-source tooling used to secure safety-critical software across different industries.

What You'll Do

  • Conduct security design and code reviews of Rust-based infrastructure-level code.
  • Develop and improve fuzzing and testing campaigns and frameworks.
  • Contribute to and maintain open-source security and developer tooling.
  • Apply code quality assurance, formal verification, and validation techniques across safety-critical projects.
  • Collaborate with researchers to integrate verification methods into practical tooling.

Key Qualifications

  • Strong proficiency in Rust.
  • Hands-on fuzzing experience.
  • Experience with code quality assurance, verification, or validation.
  • Strong debugging and code review skills for complex codebases.

Nice to Have

  • Experience with software verification methods (formal verification, symbolic execution, model checking) and frameworks (K, Lean, Coq, Isabelle, Z3, SMT solvers).
  • Experience working on open-source projects with more than one contributor.
  • Previous audit work or security-focused code reviews.
  • Python experience.
  • Familiarity with other languages (Go, Solidity, Haskell, C, C++).

What We Offer

  • Competitive salary.
  • Generous time off and flexible remote work.
  • A globally distributed, collaborative team.
  • The chance to work on cutting-edge security and developer tooling.
  • Health and full range of benefits available within the US, including 401k match.
⬇
Apply Now