Solidity Compiler Frontend Engineer

About the Company

An up-and-coming pioneer in blockchain security, CertiK boasts a reputation as a fast-growing and reliable firm with an impressive track record. With over thousands of clients, they have safeguarded billions worth of digital assets and overseen numerous projects, partnering with renowned entities like Aave, Polygon, Yearn, and Chiliz.

About the Role

CertiK is on the lookout for a proficient Solidity Compiler Frontend Engineer to join their team specializing in cutting-edge blockchain compiler infrastructure and formal verification tools. In this role, you will be instrumental in developing and refining the frontend aspects of Solidity compilation pipelines, focusing primarily on static analysis, type checking, and integration with formal verification systems.

Responsibilities

• Construct and implement frontend components for the Solidity compiler, spanning lexical analysis, parsing, AST generation, and semantic analysis.
• Enhance compiler performance, elevate error reporting, and diagnostics.
• Create integration interfaces between the Solidity compiler and formal verification tools.
• Contribute to enhancing Solidity language features and specifications.
• Collaborate closely with security researchers to implement security checks and static analysis procedures.
• Sustain and enhance the current compiler infrastructure and tools.

Requirements

• 3+ years of professional experience in Solidity compiler development or related compiler projects involving EVM-based languages and smart contract compilers.
• Profound proficiency in C++ with a comprehensive understanding of contemporary C++ standards.
• Thorough grasp of compiler theory covering parsing techniques, type systems, and intermediate representations.
• Familiarity with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks.
• Sound understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models.
• Strong problem-solving skills coupled with exceptional attention to detail.

Preferred Qualifications

• Prior experience with LLVM or similar compiler infrastructures.
• Understanding of programming language semantics and type theory.
• Contributions to open-source compiler projects.
• Exposure to Solidity or other blockchain programming languages.

What We Offer

• Opportunity to influence discussions on blockchain and security at a global level.
• Engage with top-tier security researchers, technologists, and global establishments.
• Enjoy a flexible work environment embedded in a culture driven by purpose.

Compensation: For roles performed in the US, the anticipated annual compensation falls within the range of $140,000 - $220,000 based on the qualification and expertise of successful candidates.

Application acceptance for this position at CertiK is ongoing.

CertiK extends a package of benefits, including medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for particular business development sales roles.

Note: CertiK is an equal opportunity employer and adheres to federal law requirements. They uphold a commitment to diversity within teams and across the Company. The organization assesses applications from individuals with criminal histories adhering to local and federal regulations.