Software Engineer – Formal Methods

🕒 vor 4 Monaten

🏄 California, New York, +1 weitere Bundesländer – Remote

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

💵 $115.000 - $230.000 / Jahr

⏰ Vollzeit

🔴 Experte

🧑‍💻 Full-Stack-Entwickler

Jetzt Bewerben

Ähnliche Remote-Jobs finden

E-Mail-Benachrichtigung für neue Jobs einrichten

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

Lebenslauf hochladen

CertiK

WebsiteLinkedInAlle Stellen

201 - 500 Mitarbeiter

Gegründet 2018

🌐 Web 3

🔐 Sicherheit

₿ Crypto

💰 €60.000.000 Series B im 2022-04

Web 3 • Security • Crypto

CertiK führt die Anstrengungen an, die Sicherheit im Web3-Ökosystem zu verbessern. Als führender Smart-Contract-Auditor der Branche bietet CertiK ein umfassendes Tool-Sortiment, das darauf ausgelegt ist, den Web3-Bereich in großem Umfang zu sichern. Zu ihren Dienstleistungen gehören Sicherheitsprüfungen von Code, Smart-Contract-Audits und Blockchain-Audits, mit einem Schwerpunkt auf nachweisbarem Vertrauen und umfassenden Sicherheitsbewertungen. Mit einer Erfolgsbilanz von Tausenden von Kunden und der Überprüfung zahlreicher Projekte wird CertiK für seine Expertise in formaler Verifikation anerkannt, einschließlich bahnbrechender Arbeiten im Bereich der Zero-Knowledge-Proofs (zkProofs) und Partnerschaften zur Stärkung der Blockchain-Integrität. Sie bieten fortschrittliche Dienstleistungen wie KYC, Penetrationstests und Risikomanagement an, während sie die Einhaltung prominenter Standards wie SOC 2 und ISO 27001 sicherstellen. CertiK wurde von Technologieriesen wie Apple und Samsung für seine Beiträge zur Sicherung von Technologiekosystemen anerkannt.

Beschreibung

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

🎯 Anforderungen

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

🏖️ Vorteile

• 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