Auf einen Blick
Als Solidity Compiler Frontend Engineer bei CertiK optimierst du die Frontend-Komponenten des Solidity Compilers und integrierst Formal Verification Tools. Mit 3+ Jahren Compiler Development und Java-Expertise trägst du zur Verbesserung der Blockchain Security und Compiler-Performance bei.
💰 $140.000–220.000/Jahr
📊 Senior
🕒 Vollzeit
🌍 Remote
🗺️ Americas
- 3+ Jahre Solidity Compiler Development
- Java Proficiency
- Compiler Theory und Parsing Techniques
- Formal Methods Knowledge
Java
Solidity
Compiler Theory
Formal Verification
EVM
Static Analysis
Blockchain Security
Angegeben: $140.000–220.000/Jahr · Marktschätzung: ~$140.000–220.000/Jahr.
✅ Geeignet für
- Compiler Engineers mit Blockchain Interesse
- Java Specialists, die Smart Contract Security lieben
- Security-focused Developer, die Formal Verification nutzen
🚫 Weniger geeignet
- Web Frontend Developer ohne Compiler Knowledge
- Menschen ohne Formal Methods Erfahrung
- Traditional Backend Engineers
💡 Gut zu wissen
- Compiler Theory ist fundamentale Anforderung
- Formal Verification ist nicht optional
- EVM Deep Understanding ist erwartet
Über das Unternehmen
CertiK ist einer der vertrauenswürdigsten Blockchain Security Leader mit über 4.798 Clients und über 597 Milliarden USD gesicherter digitaler Assets. Prominente Investoren und Clients wie Aave und Polygon vertrauen CertiK zur Sicherung ihrer Blockchain-Infrastruktur.
Deine Aufgaben
- Frontend-Komponenten des Solidity Compilers designen und implementieren: Lexical Analysis, Parsing, AST Generation und Semantic Analysis
- Compiler-Performance optimieren und Error Reporting sowie Diagnostics verbessern
- Integration zwischen Solidity Compiler und Formal Verification Tools entwickeln
- Zur Evolution von Solidity Language Features und Spezifikation beitragen
- Mit Security Researchers zusammenarbeiten zur Implementierung von Static Analysis und Security Checks
- Bestehende Compiler-Infrastruktur und Tooling maintainen und verbessern
Deine Voraussetzungen
- 3+ Jahre professionelle Erfahrung in Solidity Compiler Development oder verwandten Compiler Projekten
- Starke Proficiency in Java mit Deep Understanding von Java-basierter Compiler Development
- Solide Grundlagen in Compiler Theory: Parsing Techniques, Type Systems, Intermediate Representations
- Erfahrung mit Formal Methods oder Formal Verification Tools (SMT Solvers, Theorem Provers)
- Starkes Verständnis der Ethereum Virtual Machine (EVM) und Smart Contract Execution Models
- Ausgezeichnete Problem-Solving-Fähigkeiten und Attention to Detail
