Solidity Compiler Frontend Engineer - Remote

Overview

We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools.

In Short

• Design and implement frontend components for the Solidity compiler.
• 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.
• Strong proficiency in C++ with deep understanding of modern C++ standards.
• Solid foundation in compiler theory, including parsing techniques and type systems.
• Experience with formal methods or formal verification tools.
• Strong understanding of the Ethereum Virtual Machine (EVM).
• Excellent problem-solving skills and attention to detail.

Benefits

• Opportunity to shape the national conversation on blockchain and security.
• Collaborate with industry-leading security researchers and technologists.
• Flexible work environment and mission-driven culture.