Background Investigator
CertiK · CertiK is a leading blockchain security company that applies cut…
CertiK is a leading blockchain security company that applies cutting edge techniques from academia to secure blockchain code.
You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are people using your tool to do their jobs. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you will be wearing multiple hats.
CertiK leads blockchain security by securing smart contracts and blockchains with cutting-edge Formal Verification technology. Founded by Computer Science professors of Yale University and Columbia University, CertiK has audited and secured over $500B in assets, including many of the world’s top blockchain projects.
Posted by CertiK on their own careers page — you apply directly, no recruiter in between. View original / apply →
CertiK · CertiK is a leading blockchain security company that applies cut…
CertiK · CertiK is a leading blockchain security company that applies cut…
CertiK · CertiK is a leading blockchain security company that applies cut…
CertiK · CertiK is a leading blockchain security company that applies cut…