About Project

The CertiK Foundation is a nonprofit, research-driven organization with a mission to give people the power to trust by providing the best Formal Verification platform for smart contracts and blockchain ecosystems.

Founded by Computer Science Professors Ronghui Gu of Columbia University and Zhong Shao of Yale University, the Foundation provides developers with the safeguards and flexibility to code with confidence, facilitating blockchain adoption for developers & large enterprises alike.

The CertiK Chain isn’t just a blockchain, however; the ecosystem also consists of security layers that exist below the blockchain level, including the DeepSEA compiler, the CertiK Virtual Machine (CVM), and CertiKOS.
This security-first technology stack sets new standards in blockchain, providing stakeholders with the safeguards needed to transact with one another more securely and efficiently.

Unfilled jobs by project

  • The Challenge Recent statistics have shown in 2020 alone the crytosphere suffered more than 20 major hacks, totaling approximately $200 million in losses. From premeditated exploits to accidental losses, security…

    Posted

    1 month ago
    Full Time, Internship, Part Time, Temporary

    Secure the blockchain industry today for a better tomorrow

    Rust Security Engineer
    Certik Chain

    Rust Security Engineer

    The Challenge Recent statistics have shown in 2020 alone the crytosphere suffered more than 20 major hacks, totaling approximately $200 million in losses. From premeditated exploits to accidental losses, security in blockchain is undoubtedly under serious attack and desperately in need of an infrastructure to establish a safer ecology and regain the public's confidence in blockchain needed for broader adoption. It's with this very mission that the Shentu Chain project was created. The Shentu Chain is an interoperable, security-oriented public blockchain built on top of the Cosmos SDK. Leveraging CertiK's proprietary Formal Verification engine, on-chain smart contracts in the Shentu Chain contain cryptographic certificates as well as machine-checkable proofs for extra security assurances. On the base layer is the CertiK Virtual Machine (CVM), of which a verified compiler is designed to ensure no bugs will be introduced during the transformation of source code into the CVM bytecode. Collectively with ShentuShield, Security Oracle and a plethora of other products offered at CertiK, the Shentu Chain puts security at its forefront and strives to help secure the blockchain industry today for a better tomorrow. To learn more about CertiK's technology stack, check here. Shentu Chain - Provable trust for all The Challenge You’re a self-starter. You believe in tackling the most important problems, even if they are the most difficult problems. You’re comfortable with the unknown and understand that #startuplife means that you’re going to be wearing multiple hats. And that’s what motivates you. You’re accountable and obsessed with improvement, both in yourself and in others. You’re up to the challenge of building a world-class company that aims to be the infrastructure for more secure software for all. You are a self-organized engineer with 3+ years experience in system programming, and minimum 1 year experience in Rust. You have prior work experience with blockchain development, and have a solid understanding of consensus protocols, specifically Proof of Stake (PoS). Experience with Tendermint or Cosmos SDK would be a major plus. Don't hesitate to apply even if you don't have a university degree or x amount of years of experience in Rust. The Benefits
    • Competitive salary and medical benefits
    • Employee 401(k) plans
    • Vacation and holiday plans
    • Opportunity for internal growth
    CertiK is an equal opportunity employer. We do not discriminate based on race, ethnicity, ancestry, gender, sex, religion, age, sexual orientation, gender identity, disability, veteran status or any legally protected status.
  • Certik Foundation

    Internships at CertiK CertiK is a world-leading cybersecurity firm based in NYC that focuses on smart contract analysis and blockchain auditing. It was founded by prof. Ronghui Gu (Columbia) and…

    Location

    Remote

    Posted

    10 months ago
    Internship
    Fall/Winter Intern – Operating System Research Remote
    Certik Chain

    Fall/Winter Intern – Operating System Research

    Remote

    Internships at CertiK

    CertiK is a world-leading cybersecurity firm based in NYC that focuses on smart contract analysis and blockchain auditing.
    It was founded by prof. Ronghui Gu (Columbia) and prof. Zhong Shao (Yale), drawing on their research about formal verification.

    In collaboration with Yale University, the CertiK research department is developing an operating system kernel (CertiKOS) verified using the Coq proof assistant.
    We are looking for interns to help us transition from an academic research project into production-ready software. 

    Concretely, this involves adding new system calls needed to run useful applications on CertiKOS, adding new device drivers and hardware support, and writing userspace code to run blockchain security-related programs on top of CertiKOS.
    The internship is suitable for current master students or strong undergraduates looking for research experience.
    It can be either full-time or part-time to leave time for coursework.
    Because of the current Covid-19 epidemic, these positions are completely remote.

  • Certik Foundation

    The primary responsibility of this role is to identify and qualify new business opportunities for CertiK through prospecting, outreach (inbound/outbound), conducting campaigns, attending events, and finding other creative methods. As…

    Location

    Remote

    Posted

    10 months ago
    Full Time
    Certik Foundation

    The primary responsibility of this role is to identify and qualify new business opportunities for CertiK through prospecting, outreach (inbound/outbound), conducting campaigns, attending events, and finding other creative methods.

    Business Development Associate Remote
    Certik Chain

    Business Development Associate

    Remote

    The primary responsibility of this role is to identify and qualify new business opportunities for CertiK through prospecting, outreach (inbound/outbound), conducting campaigns, attending events, and finding other creative methods.
    As part of the sales process, you will stay on top of the latest blockchain news, strategically identify and navigate to key decision-makers, understand our technology and advantages, and engage in conversations with interested parties.

    You’re a self-starter.
    You’re motivated, and you push yourself to hit your goals.
    You don’t make excuses, and any setbacks are merely seen as learning opportunities.
    You’re comfortable at venturing through the unknown and understand that #startuplife means that you’re going to be wearing multiple hats.
    But that’s what motivates you.
    You’re a natural leader and willing to take risks to break through milestones at an astounding pace.
    You put the team first and know that it’s the responsibility of every individual to make those around them better.

    CertiK is a blockchain and smart contract verification platform founded by top formal verification professors from Yale and Columbia University and senior software engineers from Google and Facebook.
    Different from the traditional testing approaches, CertiK applies mathematical proofs on blockchain ecosystems and smart contracts to ensure that they are hacker-resistant and bug-free.
    Invested by the likes of Binance Labs and Lightspeed Partners, CertiK has formally verified many of the world’s top blockchain projects. For more information, visit certik.org and certik.io.

  • Certik Foundation

    About You:You’re a self-starter. You believe in tackling the most important problems, even if they are the most difficult problems. You’re comfortable with the unknown and understand that startup life…

    Location

    Remote

    Posted

    11 months ago
    Full Time
    Certik Foundation

    The primary responsibility of this role is for CertiK’s security-related services. Intersecting cybersecurity and blockchain, CertiK’s security offerings include security consulting, security reviews, security auditing of smart contracts and blockchains, verification of smart contracts, penetration testing, and more.

    Solidity Security Engineer Remote
    Certik Chain

    Solidity Security Engineer

    Remote

    About You:
    You’re a self-starter.
    You believe in tackling the most important problems, even if they are the most difficult problems.
    You’re comfortable with the unknown and understand that startup life means that you’re going to be wearing multiple hats. And that’s what motivates you. You’re accountable and obsessed with improvement, both in yourself and in others.
    You’re up to the challenge of building a world-class company that aims to be the infrastructure for more secure software for all.

    About the Company:
    CertiK leads blockchain security by securing smart contracts and blockchains network with proprietary methodology, techniques, and tooling.
    Founded by Computer Science professors of Yale University and Columbia University, CertiK has audited and secured over $5B in assets,
    including many of the world’s top blockchain projects.
    Our aim is to build the most passionate, technically-gifted, and engineering-focused blockchain security team.
    Some of our notable clients include Binance, Terra, Matic, Lien Protocol, Akropolis, Aave, bZx, Ampleforth, Fetch.ai, Reserve, HDAC, Kava, Thorchain, and over 200 exciting projects.
    The research efforts of CertiK have also received grants from IBM and the Ethereum Foundation, and notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.

    About the Role:
    The primary responsibility of this role is for CertiK’s security-related services.
    Intersecting cybersecurity and blockchain, CertiK’s security offerings include security consulting, security reviews, security auditing of smart contracts and blockchains, verification of smart contracts, penetration testing, and more.
    We are looking to hire someone with a passion for Solidity, a deep understanding of the Ethereum Virtual Machine (EVM), distributed computing, and security.
    Candidates should have an eye for detail and have a passion for combining their skills with a flair for creativity and insight to hack smart contracts.
    This is a fun and challenging full-time position. If you are excited about hacking, threat modeling, scanning, auditing, designing, and enhancing the security of smart contracts across the board then you will thrive in this role.
    While you work with clients, we will also provide you with plenty of opportunities to get involved with research and development efforts to help us raise the standards of blockchain security.

    To Apply:
    On Discord DM to @JayJie#4460