Category Labs (anteriormente conhecida como Monad Labs) é uma equipe de engenheiros de sistemas e pesquisadores com a missão de projetar e construir na fronteira da tecnologia descentralizada. Buscamos oferecer melhorias significativas em relação às soluções blockchain existentes. Após levantar $225M em financiamento série A, liderado pela Paradigm, estamos expandindo nossa equipe.
Somos a equipe por trás da Monad, uma Layer 1 de alto desempenho compatível com EVM, cuja mainnet pública já está no ar. Escrevemos o software central que a executa: uma EVM com execução paralela, um banco de dados de estado customizado e um cliente de consenso BFT, todos desenvolvidos de forma aberta.
A Vaga
Estamos contratando um Senior Software Engineer em Formal Verification para provar a corretude da implementação da Monad. Seu trabalho envolverá escrever provas verificadas por máquina sobre código C++ real de produção, incluindo funcionalidades concorrentes como execução otimista e mecanismos exclusivos da Monad, como reserve balance e armazenamento otimizado em nível de página. Você trabalhará em Rocq (anteriormente Coq), usando o framework Iris separation logic e a semântica formal de C++ BRiCk, construindo modelos dos nossos designs e provando que a implementação é equivalente a eles, como membro essencial de uma equipe pequena e de alta performance.
O Que Você Fará
- Verificar formalmente as partes de maior risco da implementação da Monad, incluindo lógica de execução concorrente e paralela.
- Construir e refinar modelos em Rocq dos designs do sistema, e então provar que a implementação em C++ é equivalente a esses modelos, detectando bugs de design e implementação antes que cheguem à main.
- Desenvolver especificações e provas de pré-condição mais fraca para C++ de produção usando BRiCk e Iris separation logic.
- Fortalecer enunciados de teoremas e automação de provas, e conceber abordagens que escalem a verificação para uma base de código em rápida evolução.
Quem Você É
- Você tem pelo menos 5 anos de experiência em engenharia de software com C++, boa parte construindo sistemas performáticos do zero – bancos de dados, drivers de dispositivos, sistemas embarcados ou similares.
- Você tem experiência prática com um provador de teoremas interativo, idealmente Rocq (anteriormente Coq), e consegue escrever provas verificadas por máquina sobre código real em execução.
- Você raciocina sobre concorrência e memória com um rigor que a maioria dos engenheiros nunca precisa – e se sente atraído por problemas onde “provavelmente correto” não é suficiente.
- Você tem instintos afiados para arquitetura de software, gerenciamento de memória e análise de performance.
- Você possui bacharelado, mestrado ou doutorado em Ciência da Computação, ou experiência equivalente.
- Você se comunica com clareza e prospera em uma equipe pequena onde todos são responsáveis pelo resultado.
Por Que Trabalhar Conosco
- Problemas desafiadores: Você trabalhará em problemas extremamente desafiadores com impacto massivo. Veja nossos Blogs e Publicações & Palestras para ter uma ideia dos problemas que estamos resolvendo no mundo real.
- Grande oportunidade: O padrão Ethereum Virtual Machine (EVM) é onipresente, mas as chains compatíveis com EVM existentes são muito lentas. As inovações centrais da Monad oferecem aos desenvolvedores o melhor dos dois mundos (portabilidade e performance) e são um divisor de águas para a adoção em massa de usuários em crypto.
- A equipe certa: Você fará parte de uma equipe pequena e excepcional (engenheiros e pesquisadores compõem 90% da equipe).
- Aberto por padrão: Nosso software central é público no GitHub. Você construirá de forma aberta, e seu trabalho será publicado onde todo o ecossistema pode ver.
- Cultura: Somos uma equipe enxuta trabalhando juntos para alcançar metas muito ambiciosas. Somos unidos em nossa cultura de colaboração, humildade e entrega de alta qualidade. Como membro inicial da nossa equipe, você ajudará a moldar nossa cultura.
- Remuneração: Você receberá um pacote competitivo de salário e equity.
- Recursos e crescimento: Somos bem capitalizados, com apoio de fundos de venture capital líderes como Paradigm, Electric Capital, Greenoaks, Dragonfly e Coinbase Ventures. Mantemos uma equipe enxuta, e esta é uma oportunidade rara de se juntar a nós. Você aprenderá muito e crescerá conforme nossa empresa escala.
Como Usamos IA
Somos uma equipe AI-native, e esperamos que os engenheiros usem agentes de codificação e acompanhem a evolução das ferramentas. Algumas coisas em que acreditamos:
- IA é alavancagem, não muleta. Revise o que ela gera com o mesmo rigor que você aplicaria ao PR de um colega, e assuma responsabilidade por cada linha que você envia para produção.
- O que importa é o julgamento, não quanto tempo você digitou manualmente. Não vamos pedir “N anos de [ferramenta].” O stack muda a cada poucos meses, então o que importa é que você aprenda novas ferramentas rápido e saiba onde e quando aplicá-las.
Salário e Benefícios
A faixa salarial base para esta vaga é de $180.000 – $250.000. Isso reflete a faixa mínima e máxima em localidades nos EUA. Não inclui benefícios, tokens ou incentivos de equity. A oferta final pode variar com base em fatores como habilidades relevantes, experiência, expertise no domínio e localidade de trabalho. Se você está baseado fora dos EUA, temos considerações geográficas que podem impactar sua remuneração final.
Benefícios para todos os funcionários full-time:
- Opções de seguro saúde privado
- Folgas remuneradas flexíveis
- Reembolso mensal de bem-estar
- Licença parental remunerada
Benefícios para funcionários nos EUA:
- Pacote de benefícios de nível mundial com seguro médico, odontológico e oftalmológico 100% pagos, incluindo 75% de cobertura para dependentes e opções de HSA + FSA
- 401(k) com contribuição equivalente da empresa
- Vale-refeição para almoço e jantar (presencial em NYC)
Benefícios para funcionários contratados através de um EOR (fora dos EUA) serão baseados nas ofertas do EOR e nos requisitos específicos do país.
Category Labs é um empregador de Igualdade de Oportunidades de Emprego (EEO) e recebe todos os candidatos qualificados. Os candidatos receberão consideração justa e imparcial, independentemente de raça, sexo, cor, religião, origem nacional, idade, deficiência, status de veterano, dados genéticos ou outro status legalmente protegido.
Faixa de Remuneração: $180K – $250K
Ao se candidatar, mencione a palavra CANDYSHOP para mostrar que você leu a vaga completamente.
