compilers Jobs

Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers designing and building at the frontier of decentralized technology. They aim to make step-function improvements over existing blockchain solutions. After rai…

Building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. Designing and building a production programming language with complete mechanized formal specifi…