Senior Software Engineer - Certified Software

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

Summary

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

Description

Senior 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 experienced developers with a strong background and interest in this area. As a senior software engineer, you should have several years of development experience, and the confidence to design the overall architecture of a program and provide feedback and guidance to more junior developers.Deep understanding and hands-on experience on one or more of the above certified software technologies is expected.

 
Apply Now

Share

Free eBook

Flash-bkgn
Loader2 Processing ...