Rust Formal Verification Engineer

Job Description

Hashlock is seeking an experienced Rust Formal Verification Engineer to strengthen the security and reliability of our clients mission-critical Web3 infrastructure. In this role, you will apply rigorous formal methods—including specification writing, model checking, symbolic execution, theorem proving, and property-based testing—to identify flaws before they become vulnerabilities. You will collaborate closely with our auditors, protocol researchers, and Rust engineers to mathematically validate system behavior, prove security-critical invariants, and establish high-assurance guarantees against adversarial conditions. Your responsibilities will include developing formal specifications, designing automated verification workflows, reviewing protocol logic, integrating verification into CI pipelines, and contributing to the evolution of internal verification tooling. This position is ideal for someone passionate about cybersecurity, correctness, and advancing the practical application of formal verification in decentralized systems. Must have existing capability or experience in rust formal verification.