Category Labs
51 - 200 Mitarbeiter
Gegründet 2022
₿ Crypto
💳 Fintech
Crypto • Fintech
Category Labs entwickelt leistungsstarke dezentrale Systeme und nutzt dabei Fachwissen aus dem Hochfrequenzhandel und niederstufigen Systemen. Ihr Team entwirft skalierbare Lösungen für komplexe Herausforderungen in der dezentralen Technologie, mit besonderem Fokus auf die Schaffung der nächsten Generation von Blockchain-Infrastrukturen mit Monad, einer hochkapazitiven, EVM-kompatiblen Layer-1-Blockchain. Sie legen Wert auf Leistung, Optimierung und Innovation in ihrem Ansatz zur Blockchain-Technologie.
Senior Software Engineer, Formal Verification
🕒 vor 1 Monat
🗣️🇺🇸🇬🇧 Englisch erforderlich
📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle
Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.
Category Labs
51 - 200 Mitarbeiter
Gegründet 2022
₿ Crypto
💳 Fintech
Crypto • Fintech
Category Labs entwickelt leistungsstarke dezentrale Systeme und nutzt dabei Fachwissen aus dem Hochfrequenzhandel und niederstufigen Systemen. Ihr Team entwirft skalierbare Lösungen für komplexe Herausforderungen in der dezentralen Technologie, mit besonderem Fokus auf die Schaffung der nächsten Generation von Blockchain-Infrastrukturen mit Monad, einer hochkapazitiven, EVM-kompatiblen Layer-1-Blockchain. Sie legen Wert auf Leistung, Optimierung und Innovation in ihrem Ansatz zur Blockchain-Technologie.
Beschreibung
• 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
🎯 Anforderungen
• 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
🏖️ Vorteile
• 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)
Jetzt BewerbenÄhnliche Jobs
🕒 vor 1 Monat
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.
🇺🇸 Vereinigte Staaten – Remote
💵 $107.000 - $193.000 / Jahr
⏰ Vollzeit
🟠 Senior
🧑💻 Full-Stack-Entwickler
🦅 H1B-Visum-Sponsor
🗣️🇺🇸🇬🇧 Englisch erforderlich
🕒 vor 1 Monat
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.
🇺🇸 Vereinigte Staaten – Remote
💵 $118.500 - $216.500 / Jahr
💰 Post-IPO Equity im 2022-11
⏰ Vollzeit
🟠 Senior
🧑💻 Full-Stack-Entwickler
🦅 H1B-Visum-Sponsor
🗣️🇺🇸🇬🇧 Englisch erforderlich
🕒 vor 1 Monat
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.
🇺🇸 Vereinigte Staaten – Remote
💵 $166.900 - $230.900 / Jahr
⏰ Vollzeit
🟠 Senior
🧑💻 Full-Stack-Entwickler
🦅 H1B-Visum-Sponsor
🗣️🇺🇸🇬🇧 Englisch erforderlich
🕒 vor 1 Monat
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.
🇺🇸 Vereinigte Staaten – Remote
💵 $221.000 - $260.000 / Jahr
💰 €2.400.000.000 Debt Financing im 2022-09
⏰ Vollzeit
🟠 Senior
🧑💻 Full-Stack-Entwickler
🦅 H1B-Visum-Sponsor
🗣️🇺🇸🇬🇧 Englisch erforderlich
🕒 vor 1 Monat
Reverse Logistics Technical Lead at Wing leading technical projects for drone refurbishment processes. Collaborating cross-functionally and optimizing reverse logistics operations in a remote setting.
🇺🇸 Vereinigte Staaten – Remote
💵 $159.000 - $212.000 / Jahr
💰 Corporate Round im 2019-03
⏰ Vollzeit
🟠 Senior
🧑💻 Full-Stack-Entwickler
🦅 H1B-Visum-Sponsor
🗣️🇺🇸🇬🇧 Englisch erforderlich
