Runtime Verification is hiring a

Web3 Security Engineer (Rust)

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.