Category Labs
51 - 200 funcionários
Fundada em 2022
₿ Cripto
💳 Fintech
Crypto • Fintech
A Category Labs está construindo sistemas descentralizados de alto desempenho, aproveitando a experiência em trading de alta frequência e sistemas de baixo nível. Sua equipe projeta soluções escaláveis para desafios complexos em tecnologia descentralizada, com foco específico na criação de uma infraestrutura blockchain de próxima geração com o Monad, uma blockchain de camada 1 compatível com EVM e de alta capacidade. Eles priorizam desempenho, otimização e inovação em sua abordagem à tecnologia blockchain.
Senior Software Engineer, Formal Verification
🕒 Junho 18
🗣️🇺🇸🇬🇧 Inglês obrigatório
📊 Verifique sua pontuação de currículo para esta vaga
Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.
Category Labs
51 - 200 funcionários
Fundada em 2022
₿ Cripto
💳 Fintech
Crypto • Fintech
A Category Labs está construindo sistemas descentralizados de alto desempenho, aproveitando a experiência em trading de alta frequência e sistemas de baixo nível. Sua equipe projeta soluções escaláveis para desafios complexos em tecnologia descentralizada, com foco específico na criação de uma infraestrutura blockchain de próxima geração com o Monad, uma blockchain de camada 1 compatível com EVM e de alta capacidade. Eles priorizam desempenho, otimização e inovação em sua abordagem à tecnologia blockchain.
Descrição
• 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
🎯 Requisitos
• At least 5 years of software engineering experience in C++ • Hands-on experience with an interactive theorem prover, ideally Rocq • Strong reasoning about concurrency and memory management • Experience with performance profiling • Bachelor's, Master's, or PhD in Computer Science or equivalent experience • Clear communication and ability to thrive in a small team
🏖️ Benefícios
• Private health insurance options • Flexible paid time off • Monthly wellness reimbursement • Paid parental leave • World-class benefits package with 100% paid medical, dental, and vision insurance including 75% coverage for dependents and HSA + FSA options • 401(k) with company match • Lunch and dinner stipend (in-office NYC)
Candidatar-seVagas Similares
🕒 Junho 18
Sr. Software Engineer II at DoubleVerify designing AI systems and building end-to-end automations for marketing intelligence. Collaborating with various teams to enhance client experience and operational efficiency.
🇺🇸 Estados Unidos – Remoto (EUA)
💵 $107.000 - $193.000 / ano
⏰ Tempo Integral
🟠 Sênior
🧑💻 Engenheiro Full-stack
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Junho 18
Senior Software Engineer II at Life360 developing AI-native backend infrastructure for experimentation and machine learning. Collaborating with teams to enhance services for millions of users.
🇺🇸 Estados Unidos – Remoto (EUA)
💵 $118.500 - $216.500 / ano
💰 Post-IPO Equity em 2022-11
⏰ Tempo Integral
🟠 Sênior
🧑💻 Engenheiro Full-stack
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Junho 18
Senior Software Engineer at Dropbox designing large-scale distributed storage systems for user data durability and performance. Collaborating with cross-functional teams to enhance infrastructure scalability and efficiency.
🇺🇸 Estados Unidos – Remoto (EUA)
💵 $180.200 - $243.800 / ano
⏰ Tempo Integral
🟠 Sênior
🧑💻 Engenheiro Full-stack
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Junho 18
Software Engineer II developing scalable backend services for Upstart's AI lending platform. Collaborating across teams to enhance communication and engagement with customers while driving impactful data solutions.
🇺🇸 Estados Unidos – Remoto (EUA)
💵 $166.900 - $230.900 / ano
⏰ Tempo Integral
🟠 Sênior
🧑💻 Engenheiro Full-stack
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
🕒 Junho 18
Engineering Leader setting the technical strategy for natural gas power generation projects. Managing a multidisciplinary engineering team for scalable clean energy solutions across various project stages.
🇺🇸 Estados Unidos – Remoto (EUA)
💵 $221.000 - $260.000 / ano
💰 $2.400.000.000 Debt Financing em 2022-09
⏰ Tempo Integral
🟠 Sênior
🧑💻 Engenheiro Full-stack
🦅 Patrocina Visto H1B
🗣️🇺🇸🇬🇧 Inglês obrigatório
