• Your expertise will be crucial in developing and optimizing the frontend components of Solidity compilation pipelines, specifically focusing on static analysis, type checking, and formal verification integration
• Design and implement innovative frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis
• Boost compiler performance and enhance error reporting and diagnostics
• Create integration layers between the Solidity compiler and formal verification tools
• Contribute to the advancement of Solidity language features and specifications
• Collaborate with security researchers to implement robust static analysis and security checks

Maintain and upgrade existing compiler infrastructure and tools

• 3+ years of professional experience in Solidity compiler development or related compiler projects (e.g., EVM-based languages, smart contract compilers)
• Expertise in C++ with a comprehensive understanding of modern C++ standards (C++17/20)
• Solid grasp of compiler theory, covering parsing techniques, type systems, and intermediate representations
• Experience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers, or verification frameworks)
• Thorough understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models

Outstanding problem-solving skills with great attention to detail

• The chance to influence the national conversation on blockchain and security
• Collaborate with top security researchers and technologists
• A flexible work environment with a mission-driven culture
• CertiK offers a competitive benefits package including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, HSA, FSA, and more

We also provide flexible paid time off and holidays