Senior Software Engineer, Formal Verification

Description

Work on formal verification for high-performance blockchain systems at Category Labs, building critical infrastructure for the Monad ecosystem.

Responsibilities

• Develop formal specifications and proofs for core protocol components
• Collaborate with engineering on verified implementations
• Improve tooling and processes for rigorous verification

Requirements

• Strong background in formal methods, verification, or proof assistants
• Experience with systems programming or distributed systems
• Interest in blockchain protocol correctness and safety

Nice to have

• Experience with Coq, Isabelle, or similar; Rust or low-level systems work