CertiK
Solidity Compiler Frontend Engineer
US
UTC-10 to UTC-5 $140k to $220k per year Full time
Mid level
- Where you can live
- US / Remote
- Working hours
- Overlap with UTC-10 to UTC-5
- Salary
- USD 140,000 to 220,000 per year
- Posted
- October 20, 2025
Summary from the posting
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.
This is a short summary. The full description, requirements and the application form are on CertiK's own career page.