Principal Software Engineer - Certified Software

Company: CertiK
Location: New York, New York, United States
Type: Full-time
Posted: 13.AUG.2021
< >

Summary

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

Description

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 secure smart contracts, compilers, system software like hypervisors and language runtimes, and more.We are looking for an exceptionally strong candidate to head our fuzzing testing, static analysis, model checking, and automatic theorem proving tool teams. Securing smart contracts via these technologies is the core business of CertiK, so you will have an immediate impact in the company.As a principal engineer, you should have expert knowledge about automatic reasoning technology such as fuzzing testing, SMT-solvers, model checkers, and static analyzers. At the same time, we look for someone with a passion for making truly usable tools with a direct business impact, not just academic research. And you should have the communication and leadership skills to set the strategy in this technology area, to support the sales team, and to lead a team of developers.

 
Apply Now

Share

Free eBook

Flash-bkgn
Loader2 Processing ...