Solidity Compiler Frontend Engineer

About the Role

Requirements

• 3+ years of professional experience in Solidity compiler development or related compiler projects (e.g., EVM-based languages, smart contract compilers)
• Strong proficiency in C++ with deep understanding of modern C++ standards (C++17/20)
• Solid foundation in compiler theory, including parsing techniques, type systems, and intermediate representations
• Experience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers, or verification frameworks)
• Strong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models
• Excellent problem-solving skills and attention to detail
• Experience with LLVM or similar compiler infrastructure
• Knowledge of programming language semantics and type theory
• Contributions to open-source compiler projects
• Experience with Solidity or other blockchain programming languages

Responsibilities

• Design and implement frontend components for the Solidity compiler, 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 the evolution of Solidity language features and specification
• Collaborate with security researchers to implement static analysis and security checks
• Maintain and improve existing compiler infrastructure and tooling

Benefits

• Medical insurance
• Vision insurance
• 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 and holidays
• Variable commission program for business development sales roles
• Flexible work environment

Skills