Software Engineer – Formal Methods

🕒 il y a 2 mois

🏄 California, New York, +1 états de plus – Distant

🏄 California – Remote 🗽 New York – Remote ☕ Washington – Remote

💵 $115 000 - $230 000 / an

⏰ Temps Plein

🔴 Expert

🧑‍💻 Développeur Full-Stack

Postuler Maintenant

Trouver des Emplois à Distance Similaires

Recevoir des emails pour des emplois à distance

📊 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.

Télécharger le CV

CertiK

Site WebLinkedInTous les Emplois

201 - 500 employés

Fondée en 2018

🌐 Web 3

🔐 Sécurité

₿ Crypto

💰 €60 000 000 Series B en 2022-04

Web 3 • Security • Crypto

CertiK est à la pointe de l'amélioration de la sécurité au sein de l'écosystème Web3. En tant que principal auditeur de contrats intelligents de l'industrie, CertiK propose une suite complète d'outils conçus pour sécuriser l'espace Web3 à grande échelle. Leurs services incluent des audits de sécurité de code, des audits de contrats intelligents et des audits de blockchain, avec un accent sur la confiance vérifiable et des évaluations de sécurité exhaustives. Avec un historique de services fournis à des milliers de clients et d'examen de nombreux projets, CertiK est reconnu pour son expertise en vérification formelle, y compris des travaux révolutionnaires dans les preuves à divulgation nulle de connaissance (zkProofs) et des partenariats pour renforcer l'intégrité de la blockchain. Ils offrent des services avancés tels que la vérification d'identité (KYC), les tests de pénétration et la gestion des risques, tout en maintenant la conformité avec des normes renommées comme SOC 2 et ISO 27001. CertiK a été reconnu par des géants de la technologie tels qu'Apple et Samsung pour ses contributions à la sécurisation des écosystèmes technologiques.

Description

• Design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. • Extend the scope and depth of automated program verification tools and brainstorm, design, and implement new tools. • Adapt and improve algorithms for symbolic software model checking. • Build and extend translators from different input languages into intermediate representations. • Identify new classes of security properties of smart contracts and formalize properties for automated verification tools.

🎯 Exigences

• Master's Degree in Computer Science or a related field or 5 years of equivalent experience. • Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development). • Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. • Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.

🏖️ Avantages

• medical, vision, and dental insurance • 401(k) plan with company matching • life and accidental death and dismemberment insurance • HSA (with high deductible plan) • FSA • flexible paid time off • holidays • variable commission program for business development sales roles