Category Labs
51 - 200 employés
Fondée en 2022
₿ Crypto
💳 Fintech
Crypto • Fintech
Category Labs développe des systèmes décentralisés à haute performance, s'appuyant sur une expertise en trading haute fréquence et en systèmes de bas niveau. Leur équipe conçoit des solutions évolutives pour relever les défis complexes de la technologie décentralisée, se concentrant spécifiquement sur la création d'une infrastructure blockchain de nouvelle génération avec Monad, une blockchain couche 1 compatible EVM à haute capacité. Ils priorisent la performance, l'optimisation et l'innovation dans leur approche de la technologie blockchain.
Senior Software Engineer, Formal Verification
🕒 il y a 1 mois
🗣️🇺🇸🇬🇧 Anglais requis
📊 Vérifiez votre score de CV pour ce poste
Améliorez vos chances d'obtenir un entretien en vérifiant votre score de CV avant de postuler.
Category Labs
51 - 200 employés
Fondée en 2022
₿ Crypto
💳 Fintech
Crypto • Fintech
Category Labs développe des systèmes décentralisés à haute performance, s'appuyant sur une expertise en trading haute fréquence et en systèmes de bas niveau. Leur équipe conçoit des solutions évolutives pour relever les défis complexes de la technologie décentralisée, se concentrant spécifiquement sur la création d'une infrastructure blockchain de nouvelle génération avec Monad, une blockchain couche 1 compatible EVM à haute capacité. Ils priorisent la performance, l'optimisation et l'innovation dans leur approche de la technologie blockchain.
Description
• 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
🎯 Exigences
• 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
🏖️ Avantages
• 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)
Postuler MaintenantEmplois Similaires
🕒 il y a 1 mois
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.
🇺🇸 États-Unis – Télétravail
💵 $107 000 - $193 000 / an
⏰ Temps Plein
🟠 Senior
🧑💻 Développeur Full-Stack
🦅 Parrain de Visa H1B
🗣️🇺🇸🇬🇧 Anglais requis
🕒 il y a 1 mois
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.
🇺🇸 États-Unis – Télétravail
💵 $118 500 - $216 500 / an
💰 Post-IPO Equity en 2022-11
⏰ Temps Plein
🟠 Senior
🧑💻 Développeur Full-Stack
🦅 Parrain de Visa H1B
🗣️🇺🇸🇬🇧 Anglais requis
🕒 il y a 1 mois
GTM Engineer at Compound Planning managing outbound recruiting efforts for financial advisors. Driving consistent conversations while optimizing outreach tools and methodologies.
🇺🇸 États-Unis – Télétravail
💵 $85 000 - $100 000 / an
💰 €25 000 000 Series B en 2022-01
⏰ Temps Plein
🟡 Intermédiaire
🟠 Senior
🧑💻 Développeur Full-Stack
🗣️🇺🇸🇬🇧 Anglais requis
🕒 il y a 1 mois
Senior Software Engineer (Frontend) at Tekmetric, delivering innovative frontend solutions. Collaborating closely with teams to shape products with a focus on user experience.
🇺🇸 États-Unis – Télétravail
💰 Venture Round en 2022-03
⏰ Temps Plein
🟠 Senior
🧑💻 Développeur Full-Stack
🗣️🇺🇸🇬🇧 Anglais requis
🕒 il y a 1 mois
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.
🇺🇸 États-Unis – Télétravail
💵 $166 900 - $230 900 / an
⏰ Temps Plein
🟠 Senior
🧑💻 Développeur Full-Stack
🦅 Parrain de Visa H1B
🗣️🇺🇸🇬🇧 Anglais requis
