Skip to main content
Posted October 06, 2021
CertiK

Senior Software Engineer - Certified Software

CertiK
New York / Seattle / Remote Remote Full Time

Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class AI...

Expand

Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiK’s mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.

CertiK is one of the fastest growing and most trusted companies in blockchain security and has become a true market leader. To date, we have collectively worked with over 1300 enterprise clients, helped secure over $90 billion worth of digital assets, and detected over 23,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. Our Q1 2021 revenues have more than quadrupled the revenue of the full 2020 year. Since Q1 2020, our team size has more than doubled, and this rate of growth will continue in 2021, creating a highly effective, remote-friendly culture with talents located worldwide.
CertiK just raised over $60 million in Series B and B+ funding rounds in 2021. Our investors include top VCs like Tiger Global, Coatue Management, Shunwei Capital and Hillhouse Capital as well as industry leaders like Coinbase Ventures and Binance.

Certified Systems is the core organization in CertiK delivering the advanced blockchain security technologies, tooling, platform, and services for the entire CertiK team to use for serving the security protection demand of CertiK's clients.

Internally we use a combination of trustworthy software creation techniques ranging from fuzzing testing, static analysis, model checking, automated program logic verification (such as those based on Z3/Why3/Euclid), language-based security (such as type systems), and high-order interactive theorem proving (such as Coq). We apply these technologies to build tools and secure smart contracts, compilers, system software like hypervisors and language runtimes, and more.
We are looking for developers of all experience levels with a strong background and interest in this area. For senior candidate, you should have at least several years of development experience and the confidence to design the overall architecture of a program and provide feedback and guidance to junior developers.

Deep understanding and hands-on experience on one or more of the above certified software technologies is expected.



This listing expired on Nov 19. Applications are no longer accepted.

Below are some other jobs we think you might be interested in.