About the role
About You
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.
About the Company
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.
Skills & Tags
Aplyr's read
CertiK is a leader in blockchain security, attracting professionals passionate about safeguarding digital assets through cutting-edge auditing and verification services.
What's promising
- •CertiK is a pioneer in blockchain security, offering specialized auditing services.
- •The company has a robust hiring focus on security and engineering roles.
- •CertiK's work is crucial for the reliability of blockchain protocols.
What to watch
- •The niche focus on blockchain may limit broader industry exposure.
- •High specialization could mean fewer opportunities for generalists.
- •CertiK operates in a rapidly evolving industry with regulatory uncertainties.
Why CertiK
- •CertiK specializes in smart contract auditing, a critical need in blockchain.
- •The company employs experts in formal methods and security engineering.
- •CertiK's services are essential for the security of decentralized applications.
Aplyr’s read is generated by AI from public sources. Was it useful?
About CertiK
CertiK is a blockchain security company that provides auditing and verification services for smart contracts and blockchain protocols to ensure their security and reliability.
