11 months ago
Remote, United StatesMid Level
Base Salary
$140k - $220k/yr
Responsibilities
- Design and implement Solidity compiler frontend components, including lexical analysis, parsing, AST generation, and semantic analysis.
- Optimize compiler performance and improve error reporting and diagnostics.
- Develop integration layers between the Solidity compiler and formal verification tools.
- Contribute to Solidity language features and specification evolution.
- Implement static analysis and security checks in collaboration with security researchers.
- Maintain and improve compiler infrastructure and tooling.
Requirements
- At least 3 years of professional experience in Solidity compiler development or related compiler projects.
- Strong proficiency in Java and deep understanding of Java-based compiler development and optimization.
- Strong foundation in compiler theory, including parsing techniques, type systems, and intermediate representations.
- Experience with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks.
- Strong understanding of the Ethereum Virtual Machine and smart contract execution models.
- Strong problem-solving skills and attention to detail.
- Preferred: experience with LLVM or similar compiler infrastructure, programming-language semantics and type theory, open-source compiler contributions, or Solidity and other blockchain programming languages.
Benefits
- Flexible work environment and mission-driven culture.
- Medical, vision, and dental insurance for full-time employees.
- 401(k) plan with company matching.
- Life and accidental death and dismemberment insurance.
- Health Savings Account with a high-deductible plan and Flexible Spending Account.
- Flexible paid time off and holidays.
- Opportunity to collaborate with industry-leading security researchers, technologists, and global institutions.
