CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $6B in assets, including many of the world’s top projects.

Accounting & Finance

Marketing & Communications

Software Engineering

Sales & Business Development

New York, NY, USA

CertiK

3. 51-200

Consumer software

advent international

goldman sachs

insight partners

Lightspeed

sequoia capital

tiger global management

softbank vision fund

Recruit Rockstars LLC

Venturesome by Recruit Rockstars

Email opt in

The world’s largest collection of jobs backed by Venture Capital & Private Equity firms