Solidity Compiler Frontend Engineer

📋 Description

• • Architect and own the Solidity compiler frontend end-to-end—from lexical analysis and recursive-descent parsing to robust AST generation and semantic analysis—ensuring that every smart contract that passes through CertiK’s pipeline is syntactically correct, type-safe, and ready for deep formal verification.
• • Optimize compilation speed and memory footprint by profiling hot paths, rewriting bottlenecks in modern C++17/20, and introducing incremental compilation techniques that cut build times for multi-million-line codebases by double-digit percentages.
• • Design crystal-clear, developer-friendly error messages and diagnostics that pinpoint the exact line, column, and root cause of issues; integrate these diagnostics into VS Code, Hardhat, Foundry, and other popular IDEs so that auditors and engineers can fix vulnerabilities before deployment.
• • Build seamless integration layers between the Solidity compiler and CertiK’s formal verification engines (SMT solvers, theorem provers, symbolic execution). You will define IRs and serialization formats that allow security researchers to reason about storage layout, gas consumption, and re-entrancy properties at the speed of static analysis.
• • Collaborate daily with world-class security researchers to encode new classes of static analysis checks—such as flash-loan integrity, access-control invariants, and custom DeFi protocol rules—directly into the compiler frontend, turning CertiK into the first line of defense for the $597 billion in digital assets we protect.
• • Contribute to the evolution of the Solidity language itself by drafting improvement proposals, participating in the Solidity Language Design Calls, and shipping experimental features behind feature flags that are battle-tested on mainnet-scale projects like Aave, Polygon, and Chiliz.
• • Maintain and extend the existing compiler infrastructure: refactor legacy C++ modules, introduce comprehensive unit and property-based tests, and set up CI pipelines that run millions of test cases on every pull request to guarantee deterministic builds across Linux, macOS, and Windows.
• • Mentor junior engineers and interns through pair programming, design reviews, and brown-bag sessions on advanced topics such as Hindley-Milner type inference, SSA form construction, and zero-knowledge circuit compilation.
• • Partner with product and UX teams to surface compiler insights—gas estimation, cyclomatic complexity, and security scores—inside CertiK’s Skynet and SkyTrace dashboards, giving users real-time feedback on the smart contracts they deploy.
• • Influence the national and global conversation on blockchain security by publishing technical blogs, speaking at Devcon, ETHDenver, and academic PL conferences, and open-sourcing key components that raise the security bar for the entire ecosystem.