Category Labs (Monad) develops a blockchain platform with EVM compatibility, focusing on formal verification and correctness guarantees through theorem proving and separation logic. The company specializes in building secure, mathematically verified smart contract systems using advanced software engineering and formal methods. Headquartered in the United States, it operates in the blockchain and systems engineering sector.
| Role | Location |
|---|---|
| Senior Software Engineer | New York · Remote |
| Senior Software Engineer, Formal Verification | Remote · New York |
| Senior Software Engineer, Compiler | Remote · New York |
| Smart Contract Engineer | Remote · New York |
| Senior Researcher, Mechanism Design | Remote · New York |
| Senior Researcher, Systems | Remote · New York |
Want Category Labs (Monad) roles matched to you?
Swoopd scores fresh postings against your résumé so you only see the matches that matter.