About CertiK
CertiK is a pioneer in blockchain security, leveraging AI technology and formal verification to audit and monitor smart contracts and blockchain protocols. Founded in 2018 by computer science professors from Yale and Columbia universities, it serves enterprise clients and Web3 projects across DeFi, Layer 1/2 blockchains, NFT platforms, and Web3 infrastructure, offering smart contract audits, penetration testing, and real-time monitoring via its Skynet platform.
Company details
Funding
Total raised
$296M
Last stage
Series B
Investors
Founders
Zhong Shao
Chair of Yale University's Department of Computer Science. Doctoral advisor to Ronghui Gu and co-founder of CertiK in 2018.
Ronghui Gu
Associate Professor of Computer Science at Columbia University. Holds a Ph.D. in Computer Science from Yale University and a Bachelor's degree from Tsinghua University. Primary designer of CertiKOS and SeKVM.
LinkedInWhat happens next.
No applications, no recruiter spam. Just the intro.
Confirm the fit
A few questions to make sure this role is the right shape for you. Two minutes.
I pitch you to the company
I write the intro, send it to the founder, and handle the back-and-forth.
A meeting lands on your calendar
If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.
