Solidity Compiler Frontend-Ingenieur

Über das Unternehmen CertiK ist eines der am schnellsten wachsenden und vertrauenswürdigsten Unternehmen im Bereich Blockchain-Sicherheit und ein echter Marktführer. Bis heute hat CertiK mit über 4.798 Kunden zusammengearbeitet, digitale Vermögenswerte im Wert von über 597 Milliarden US-Dollar gesichert und über 17.000 Projekte überwacht. Zu unseren Kunden zählen führende Projekte wie Aave, Polygon, Yearn und Chiliz.
Investoren = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital und andere Investoren.
Über die Rolle Wir suchen einen erfahrenen Solidity Compiler Frontend Engineer zur Verstärkung unseres Teams, das an modernster Blockchain-Compiler-Infrastruktur und formalen Verifizierungstools arbeitet. Sie wirken an der Entwicklung und Optimierung der Frontend-Komponenten von Solidity-Kompilierungspipelines mit, wobei der Schwerpunkt auf statischer Analyse, Typprüfung und Integration mit formalen Verifizierungssystemen liegt.

Verantwortlichkeiten

• Entwerfen und implementieren Sie Frontend-Komponenten für den Solidity-Compiler, einschließlich lexikalischer Analyse, Parsing, AST-Generierung und semantischer Analyse.

• Optimieren Sie die Compilerleistung und verbessern Sie die Fehlerberichterstattung und -diagnose.

• Entwickeln Sie Integrationsschichten zwischen dem Solidity-Compiler und formalen Verifizierungstools.

• Tragen Sie zur Weiterentwicklung der Funktionen und Spezifikationen der Solidity-Sprache bei.

• Arbeiten Sie mit Sicherheitsforschern zusammen, um statische Analysen und Sicherheitsüberprüfungen durchzuführen.

• Pflege und Verbesserung der vorhandenen Compiler-Infrastruktur und -Tools.
Anforderungen

• 3+ Jahre Berufserfahrung in der Solidity-Compiler-Entwicklung oder verwandten Compiler-Projekten (z. B. EVM-basierte Sprachen, Smart-Contract-Compiler)

• Starke Java-Kenntnisse mit tiefem Verständnis der Java-basierten Compiler-Entwicklung und -Optimierung

• Solide Grundlagen der Compiler-Theorie, einschließlich Analysetechniken, Typsystemen und Zwischendarstellungen

• Erfahrung mit formalen Methoden oder formalen Verifikationswerkzeugen (z. B. SMT-Löser, Theorembeweiser oder Verifikations-Frameworks)

• Ausgeprägtes Verständnis der Ethereum Virtual Machine (EVM) und Smart-Contract-Ausführungsmodelle

• Hervorragende Fähigkeiten zur Problemlösung und Liebe zum Detail
Bevorzugte Qualifikationen

• Erfahrung mit LLVM oder einer ähnlichen Compiler-Infrastruktur

• Kenntnisse der Programmiersprachensemantik und Typentheorie

• Beiträge zu Open-Source-Compiler-Projekten

• Erfahrung mit Solidity oder anderen Blockchain-Programmiersprachen
Was wir anbieten

• Gelegenheit, die nationale Diskussion über Blockchain und Sicherheit mitzugestalten.

• Arbeiten Sie mit branchenführenden Sicherheitsforschern, Technologen und globalen Institutionen zusammen.

• Flexibles Arbeitsumfeld und missionsorientierte Kultur.
Vergütung: Wenn die Stelle in den USA ausgeübt wird, beträgt die angestrebte jährliche Vergütung 140.000 bis 220.000 US-Dollar. Die genaue Vergütung, zu der diese Stelle besetzt wird, richtet sich nach den Fähigkeiten und Erfahrungen der qualifizierten Kandidaten.
#Blockchain#Startups#Einstellung
CertiK nimmt laufend Bewerbungen für diese Stelle entgegen.
CertiK ist stolz darauf, allen Vollzeitmitarbeitern eine Kranken-, Augen- und Zahnversicherung, einen 401(k)-Plan mit Firmenanpassung, eine Lebens- und Unfalltod- und Zerstückelungsversicherung, HSA (mit Plan mit hoher Selbstbeteiligung), FSA und andere Leistungen sowie flexible bezahlte Freistellungs- und Urlaubstage anbieten zu können. CertiK bietet auch ein variables Provisionsprogramm für Vertriebsrollen im Bereich Business Development an.
In Übereinstimmung mit dem Bundesrecht müssen alle eingestellten Personen ihre Identität und ihre Berechtigung zur Arbeit in den Vereinigten Staaten überprüfen und bei der Einstellung das erforderliche Formular zur Überprüfung der Beschäftigungsberechtigung ausfüllen.
CertiK ist stolz darauf, ein Arbeitgeber zu sein, der Chancengleichheit bietet. Wir diskriminieren keinen Bewerber oder Mitarbeiter aufgrund von Alter, Rasse, Hautfarbe, Glaubensbekenntnis, Religion, Geschlecht, sexueller Orientierung, Geschlecht, Geschlechtsidentität oder -ausdruck, Gesundheitszustand, nationaler Herkunft, Abstammung, Staatsbürgerschaft, Familienstand oder Zivilpartnerschafts-/Gewerkschaftsstatus, körperlicher oder geistiger Behinderung, Schwangerschaft, Geburt, genetischer Information, Militär- und Veteranenstatus oder einer anderen Grundlage, die durch geltendes Bundes-, Landes- oder lokales Recht verboten ist.
CertiK berücksichtigt für eine Anstellung qualifizierte Bewerber mit krimineller Vorgeschichte in einer Weise, die den lokalen und bundesstaatlichen Anforderungen entspricht. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Von allen CertiK-Mitarbeitern wird erwartet, dass sie die Vielfalt in ihren Teams und im Unternehmen aktiv unterstützen.

Quelle: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)