Rust Jobs for Rustaceans

Key Responsibilities:
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.

• 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.