Web3 Security Researcher (EST to GMT+4)

Über Certora

Certora ist der Sicherheitsgarantie-Partner, dem die fortschrittlichsten Teams in Web3 vertrauen. Gegründet im Jahr 2018 von Pionieren in Programmiersprachen und formalen Methoden, hilft Certora führenden Protokollen wie Lido, Aave, Uniswap und Compound, Milliardenwerte mit Vertrauen zu sichern. Wir sind eine Full-Stack-Sicherheitsgarantie-Plattform, die formale Verifizierungstools mit Expertenberatungsdiensten kombiniert. Egal, ob Sie ein neues Protokoll starten, die Kerninfrastruktur aktualisieren oder ein DeFi-Primitiv sichern, wir helfen Ihnen, die Richtigkeit zu beweisen, die Entwicklungszeit zu beschleunigen und Sicherheit von Anfang an in Ihr Design einzubetten.

Wir bieten:

• Bewährte, skalierbare Werkzeuge zur Überprüfung von real bereitgestelltem Code
• Ein tiefes Partnerschaftsmodell mit On-Demand-Support
• Schnelle, reaktionsschnelle Ausführung, die Ihnen hilft, schneller auf den Markt zu kommen

Für uns ist Sicherheit kein Checklistenpunkt; es ist ein kontinuierlicher Prozess. Certora ist die umfassendste und vertrauenswürdigste Plattform zum Schutz Ihrer Plattform unter adversarialen Bedingungen, vom Testnetz bis zum Hauptnetz.

Über die Rolle

Wir suchen brillante Sicherheitsforscher, die sich dafür einsetzen, formale Verifizierung zur Sicherung von Code zu evangelisieren und logische Fehler in hochgradigen Programmen finden können.

Relevante Fähigkeiten:

• Web3-Sicherheitsverständnis auf allen Ebenen
• Verhindern von verblüffenden Fehlern in Solidity- und Rust-Smart-Verträgen, die Milliarden Dollar für DeFi-Kunden sparen
• Mathematisch interessante Eigenschaften von Low-Level-Code mit modernster Technologie, einschließlich des Certora Prover und anderer Produkte, beweisen
• Live-Fehler im DeFi-Code finden und über verantwortungsvolle Offenlegung berichten
• Aktuell bleiben mit den neuesten Web3-Sicherheitstrends und Hacks

Must-Have-Anforderungen:

• Ein Bachelor-Abschluss in exakten Wissenschaften von einer starken Universität
• Die Fähigkeit, komplexe Programme schnell zu verstehen
• Mathematisches Denken
• Hohe Integrität

Signifikanter Vorteil:

• Cyber-Erfahrung
• Code-Sicherheit
• Tiefes Verständnis der Blockchain-Technologie (EVM/SolanaVM) & DeFi
• Zwei Jahre Erfahrung in der Prüfung von Smart Contracts oder der Forschung zu Code-Schwachstellen
• Verständnis von Rust oder Solidity
• Erfahrung mit Testframeworks wie Foundry, Hardhat, FV-Tools
• Fähigkeit, technische Berichte und Blogs zu schreiben
• Teilnahme an CTFs/Audit-Wettbewerben/Bug-Bounty-Programmen
• Kommunikationsfähigkeiten
• Managementfähigkeiten
• Ein Master-Abschluss
• Eine europäische Zeitzone oder der östliche US-Raum ist bevorzugt

Certora Menschen

Wir sind kundenorientiert; wenn wir uns verpflichten, weiß der Kunde, dass wir in qualitativ hochwertiger und zeitgerechter Weise liefern werden. Wir bewegen uns schnell – wir suchen Menschen mit einer Handlungsneigung und einem Sinn für Dringlichkeit, während wir hohe Qualitätsstandards aufrechterhalten. Wir wollen Fachleute, die sich selbst verantwortlich halten. Wir gewinnen als Team – unsere Teams sind weltweit verteilt. Wir verstehen unsere individuellen Rollen und verpflichten uns zu den Zielen des Teams. Wir haben eine positive „Can-Do“-Einstellung, unterstützen uns gegenseitig und werden ermutigt, um Hilfe und Rat zu bitten. Wir ermöglichen Wachstum, indem wir Erwartungen klären und ehrliches Feedback sowie Entwicklungsmöglichkeiten am Arbeitsplatz bieten. Zusammenarbeit wird sowohl intern als auch extern gefördert, um herausragende Ergebnisse zu gewährleisten. Wir sind Pioniere in der DeFi-Sicherheit. Wir sind eines der besten Unternehmen, das Entwicklern und Sicherheitsforschern hilft, Web3 zu sichern, aber wir bleiben bescheiden und lernbegierig.

Warum Certora beitreten?

Certora bietet Ihnen eine wunderbare Gelegenheit,:

• An modernster Technologie und herausfordernden Problemen an der Spitze von Web3-Anwendungen und -Technologien zu arbeiten
• Zur Sicherung des Web3-Ökosystems mit dem führenden Anbieter von End-to-End-Sicherheit für blockchainbasierte Anwendungen beizutragen
• Eine freundliche, kreative Start-up-Umgebung mit Top-Talenten in diesem Bereich zu erleben
• In einer schnelllebigen und unterstützenden Kultur zu arbeiten: Wir bewegen uns schnell und brechen nichts!
• Flexible Arbeitsmöglichkeiten (remote/hybrid) zu genießen
• Wettbewerbsfähige Vergütung und Leistungen (einschließlich Eigenkapital) zu erhalten