Solidity Compiler Frontend Engineer

Role overview Build and improve the frontend of a Solidity compiler used in blockchain development and formal verification workflows. The role focuses on turning source code into structured representations, checking language rules, improving diagnostics and performance, and connecting compilation with security analysis tools.

Responsibilities - Develop compiler frontend components, including lexical analysis, parsing, abstract syntax tree generation, and semantic analysis. - Improve compiler speed, error messages, and diagnostic quality. - Build integrations between the compiler and formal verification tools. - Contribute to Solidity language features and specifications. - Work with security researchers on static analysis and security checks. - Maintain and enhance compiler infrastructure and supporting tools.

Requirements - At least three years of professional experience in Solidity compiler development or related compiler projects, such as EVM language or smart contract compilers. - Strong Java skills and experience with Java-based compiler development and optimization. - Solid knowledge of compiler theory, including parsing, type systems, and intermediate representations. - Experience with formal methods or verification tools, such as SMT solvers, theorem provers, or verification frameworks. - Understanding of the Ethereum Virtual Machine and smart contract execution. - Strong problem-solving ability and attention to detail.

Nice to have - Experience with LLVM or similar compiler infrastructure. - Knowledge of programming language semantics and type theory. - Open-source compiler contributions. - Experience with Solidity or other blockchain programming languages.

Benefits and work setup - The role offers a flexible work environment and collaboration with security researchers, technologists, and global institutions. - Target US annual compensation is $140,000–$220,000, depending on skills and experience. - Full-time benefits include medical, dental, and vision coverage; retirement plan matching; life and accidental death coverage; HSA/FSA options; flexible paid time off; and holidays.