🛠 Tech Stack

💼 About This Role

You'll join a leading blockchain security company developing cutting-edge compiler infrastructure and formal verification tools. You'll design and implement frontend components of the Solidity compiler, including lexical analysis, parsing, and semantic analysis, while optimizing compiler performance and error diagnostics. You'll also integrate the compiler with formal verification systems to enhance security analysis.

🎯 What You'll Do

• Design and implement frontend components for the Solidity compiler.
• Optimize compiler performance and improve error reporting.
• Develop integration layers between Solidity compiler and formal verification tools.
• Collaborate with security researchers to implement static analysis checks.

📋 Requirements

• 3+ years of experience in Solidity compiler development or related compiler projects.
• Strong proficiency in Java with deep understanding of compiler development and optimization.
• Solid foundation in compiler theory including parsing techniques and type systems.
• Experience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers).

✨ Nice to Have

• Experience with LLVM or similar compiler infrastructure.
• Knowledge of programming language semantics and type theory.
• Contributions to open-source compiler projects.

🎁 Benefits & Perks

• 🌐 Flexible remote work environment
• 🚀 Mission-driven culture
• 🤝 Collaboration with industry-leading security researchers