Solidity Compiler Frontend Engineer

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 include designing and implementing frontend components for the Solidity compiler, optimizing compiler performance, developing integration layers between the Solidity compiler and formal verification tools, contributing to the evolution of Solidity language features, collaborating with security researchers, and maintaining existing compiler infrastructure. The ideal candidate will have 3+ years of experience in Solidity compiler development, strong proficiency in C++, a solid foundation in compiler theory, experience with formal methods, and a strong understanding of the Ethereum Virtual Machine. Experience with LLVM and knowledge of programming language semantics are preferred.