Total raised
$296.0M
Last stage
Series B
Investors
Ronghui Gu
Professor at Columbia University. Received his Ph.D. in Computer Science from Yale University and his Bachelor's degree from Tsinghua University. Primary designer of CertiKOS, the first formally verified vulnerability-free OS kernel. Led CertiK from founding in 2017 to a $2B valuation by 2022.
LinkedInZhong Shao
Thomas L. Kempner Professor and Chair of Computer Science Department at Yale University. Ph.D. in Computer Science from Princeton University. Leading figure in cybersecurity, operating systems, and certified software. Co-developed CertiKOS with Ronghui Gu.
No applications, no recruiter spam. Just the intro.
A few questions to make sure this role is the right shape for you. Two minutes.
I write the intro, send it to the founder, and handle the back-and-forth.
If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.