Category Labs

Full-stack Engineer

• Formally verify the highest-risk parts of the Monad implementation
• Build and refine Rocq models of system designs and prove C++ implementation
• Develop specifications and weakest-precondition proofs for production C++
• Strengthen theorem statements and proof automation

Senior Software Engineer, Formal Verification

• Design and implement core improvements to the consensus mechanism, gossip protocol, state synchronization algorithm, leader election protocol, etc.
• Devise experiments to test worst-case scenarios, and iterate on your design based on the results.
• Design components while taking into account the behavior of other blockchain systems such as rollups, bridges, or staking systems.
• Build performant system components from scratch in C++ or Rust.