← Back to results

Solidity Compiler Frontend Engineer

Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.

Location
US / Remote
Compensation
Not disclosed
Level
mid
Type
full time

Posted by employer 10 months ago

First seen on Joblaze 1 week ago

Last verified on the company career page 1 day ago

Apply at CertiK → Save job Scanned from certik.org

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.

Joblaze insights

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.

Similar positions

CertiK
Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
CertiK
Security Research Internship
CertiK · New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
CertiK
Compliance Engineer
CertiK · Europe / Asia
CertiK
CertiK
Compliance Engineer Intern
CertiK · Europe / Asia