Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.
Posted by employer 10 months ago
First seen on Joblaze 1 week ago
Last verified on the company career page 1 day ago
Not disclosed in this posting: compensation, years of experience, work arrangement, visa sponsorship.
Joblaze summary
In this role, the Solidity Compiler Frontend Engineer focuses on enhancing the frontend components of Solidity compilation pipelines, emphasizing static analysis and type checking. Proficiency in blockchain technology and experience with formal verification tools are essential for success. This position is ideal for someone with a strong background in software engineering and a deep understanding of compiler design. CertiK, a leader in blockchain security, offers a dynamic environment where innovation is at the forefront.
Quick facts
- What's the tech stack?
- Joblaze extracted these technologies from the posting: Blockchain, Solidity, Static Analysis, formal verification, type checking.
- What seniority level is this role?
- CertiK targets mid-level candidates for this position.
- Is this full-time or contract?
- Full-time for this Solidity Compiler Frontend Engineer role at CertiK.
From the original posting
About the Company
One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 4,798 clients, secured over $597 billion worth of digital assets, and has monitored over 17,000 projects. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz.
Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors.
About the Role
We are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.