CertiK careers

CertiK is the premier blockchain cybersecurity start-up founded by computer science professors from Yale University and Columbia University. By applying the rigor of proprietary Formal Verification technology to audit smart contracts and blockchain protocols, CertiK has been able to secure over $6.2B in assets, including many of the world’s top blockchain projects. The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and some notable investors include Binance Labs, Lightspeed Venture Partners, Matrix Partners, Arrington XRP, and NEO Global Capital, among others.