Solidity Compiler Frontend Engineer
Core
Design and implement frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis, with a focus on static analysis and integration with formal verification systems.
Role type
Senior IC Solidity compiler frontend engineer
Builds
Solidity compiler infrastructure and formal verification tooling
Domain
Blockchain security and compiler infrastructure
Deliverable
production ML models | product features
Required skills
Solidity compiler development, Java, compiler theory (parsing, type systems, IR), formal methods/verification tools, EVM architecture
Preferred skills
LLVM, programming language semantics, open-source contributions
Technologies
Java, Solidity, SMT solvers, theorem provers
Responsibilities
Design and implement frontend components for the Solidity compiler; Optimize compiler performance and improve error reporting; Develop integration layers between the Solidity compiler and formal verification tools; Contribute to the evolution of Solidity language features; Collaborate with security researchers to implement static analysis and security checks; Maintain and improve existing compiler infrastructure and tooling