Principal Software Engineer - Certified Software

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

Summary

Principal Software Engineer - Certified SoftwareCertiK is a world-leading cybersecurity firm based in NYC that focuses on secure smart contr...

Description

Principal Software Engineer - Certified SoftwareCertiK is a world-leading cybersecurity firm based in NYC that focuses on secure smart contracts, secure blockchain platforms and secure systems software. It was founded by prof. Ronghui Gu (Columbia) and prof. Zhong Shao (Yale), drawing on their research about formal verification and certified software.Internally we use a combination of trustworthy software creation techniques ranging from 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 static analysis, model checking, and automatic theorem proving tool team. 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 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 ...