Solidity Compiler Frontend Engineer

About the Role

We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.

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.

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 Java with deep understanding of Java based compiler development and optimization
• 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

Preferred Qualifications

• 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