Find your next role
Discover roles across ambitious teams
15,929 jobs
- More jobs
CertiK
Solidity Compiler Frontend Engineer
Remote · USA · Full time · Mid level
$140k–$220k / year
About the role
Develop and optimize frontend components of Solidity compiler pipelines focusing on static analysis and formal verification integration.
What you’ll do
• Design frontend components for Solidity compiler. • Optimize compiler performance and error reporting. • Develop integration with formal verification tools. • Contribute to Solidity language features and specification. • Collaborate with security researchers on static analysis.
What you’ll bring
• 3+ years in Solidity compiler or related projects. • Strong Java proficiency and compiler development. • Solid foundation in compiler theory. • Experience with formal verification tools. • Strong understanding of EVM and smart contracts.
Life at CertiK
Flexible work environment with mission-driven culture. Medical, vision, dental insurance, 401(k) with matching, paid time off, and other benefits.
About CertiK
CertiK is a leading blockchain security company securing over $597 billion in digital assets and working with top projects like Aave and Polygon.