Solidity Compiler Frontend Engineer

This role focuses on the design and development of Solidity compiler frontend components within CertiK’s blockchain security engineering team. The position involves building and optimizing compiler infrastructure used for static analysis, semantic checks, and integration with formal verification tools. The engineer will work on parsing, AST generation, and type systems while supporting the evolution of Solidity specifications.

Collaboration with security researchers is a key part of the role, ensuring compiler features align with emerging analysis and verification needs. Candidates will contribute to improving performance, diagnostics, and tooling used across CertiK’s broader security platform.

🔹 Responsibilities

• Design and implement Solidity compiler frontend components including lexing, parsing, AST generation, and semantic analysis.
• Optimize compiler performance and enhance error reporting and diagnostics.
• Build integration layers between the compiler and formal verification tools.
• Contribute to the evolution of Solidity language features and specifications.
• Work with security researchers on static analysis and security-focused enhancements.
• Maintain and improve existing compiler infrastructure and related tooling.

🔹 Requirements

• 3+ years of experience in Solidity compiler development or similar compiler projects.
• Strong proficiency in Java and compiler development using Java-based tooling.
• Solid understanding of compiler theory, parsing, type systems, and IR design.
• Experience with formal methods or verification tools (SMT solvers, theorem provers, etc.).
• Strong knowledge of EVM architecture and smart contract execution models.
• Excellent problem-solving skills and attention to detail.

🔹 Preferred Qualifications

• Experience with LLVM or similar compiler ecosystems.
• Understanding of programming language semantics and type theory.
• Open-source contributions to compiler-related projects.
• Experience with Solidity or other blockchain-focused languages.

🔹 Compensation & Benefits

• US target annual compensation: $140,000 – $220,000, based on skills and experience.
• Medical, dental, and vision insurance; life and AD&D insurance.
• 401(k) plan with company match; HSA and FSA options.
• Flexible paid time off and holidays.
• Variable commission program for business development roles.
• Flexible work environment with ongoing application review.

🔖 Curated by ArtofBlockchain.club We source credible Web3 roles directly from official company career pages.

👉 More jobs & discussions at ArtofBlockchain.club