Senior Software Engineer, Formal Verification
EligibilityRemote, United States only
Languages
C++RocqIrisCoqBRiCk
Salary not disclosed
Company profile
Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to deliver significant improvements over existing blockchain solutions. After raising $225M in series A funding, led by Paradigm, we are growing our team. We’re the team behind Monad, a high-performance, EVM-compatible Layer 1 whose public mainnet is now live. We write the core software that runs it: a parallel-execution EVM https://github.com/category-labs/monad, a custom state database, and a BFT consensus client https://github.com/category-labs/monad-bft, all developed in the open.
1 observationLast observed
1 open role