Formal Verification Engineer (Rust) - Remote - ZipRecruiter : Job Details

Job DescriptionJob DescriptionFormal Verification Engineer (Rust)Remote | Full-Time

We're looking for a Formal Verification Engineer with deep Rust expertise to join a team at the forefront of formal methods and software assurance. If you're driven by correctness, passionate about Rust, and eager to apply advanced verification techniques to mission-critical systems, this role is for you.

About the Role

Join a dedicated team focused on verifying the safety, security, and correctness of complex software systems. You'll work on Rust-based infrastructure and low-level components, applying formal semantics and advanced verification techniques to real-world problems across industries like blockchain, aerospace, and cloud computing.

Key Responsibilities

• Verify and analyze Rust codebases using formal methods.

• Develop and apply formal semantics for Rust and related systems.

• Contribute to the design and implementation of verification tools and frameworks.

• Collaborate with a team of engineers and researchers on high-impact verification projects.

Required Qualifications

• Strong proficiency in Rust, including deep understanding of:

  • Ownership, borrowing, and lifetimes

  • Unsafe Rust

  • Concurrency models

• Familiarity with Rust MIR or similar intermediate representations (e.g., LLVM IR).

• Solid background in formal methods, such as:

  • Theorem proving

  • Symbolic execution

  • Model checking

• Experience with formal tools like K Framework, Coq, Lean, Z3, Isabelle, or SMT solvers.

• Strong reasoning skills and the ability to independently verify low-level systems.

Bonus Points

• Experience with compilers, VMs, runtimes, or smart contract platforms.

• Contributions to open-source projects or the Rust ecosystem.

• Familiarity with Solidity, C, C++, or Haskell.