Ensuring smart contract security


DeFi Hacks Prevented




Solidity Lines Verified


Protected TVL


“Certora’s technology helped to cover security on decentralized Aave Protocol, essentially finding vulnerabilities that are usually difficult to find in manual code reviews and audits. When building mission-critical software such as financial technology, Certora is a must.”

Read more

Stani Kulechov, CEO and Founder of Aave

“Formal verification from Certora is the most powerful tool we have to ensure that we are building a secure, impenetrable system -- the top priority for any serious smart contract developer."

Read more

Jeff Wu, CTO and Co-founder, Notational Finance

“Certora has been a crucial partner along Balancer's journey to ensure excellence in our code quality/security"

Read more

Fernando Martinelli, Co-founder & CEO, Balancer

“Certora has been a critical security partner in Stakehouse Protocol’s formalization efforts. We are consistently impressed by the team’s hands-on approach and their Certora Prover tool efficacy. It reinforces the key mechanisms while giving clarity and adversarial simulation for our Multichain ETH scenarios.”

Read more

Matt Shams, CEO, Blockswap Labs

"Certora gives us so much peace of mind as we develop smart contracts at Syndicate. With formal verification running on every single commit, we can maintain a fast development velocity without decreasing security."

Read more

Will Papper, Co-founder and CTO, Syndicate

“Certora has unlocked TrustToken’s ability to iterate quickly while maintaining confidence in the security of our smart contracts. Our team has discovered and fixed numerous unintended bugs thanks to this powerful tool.”

Read more

Yuchen Lin, Lead Security Engineer, TrustToken

"Certora has given us the ability to practically apply formal verification methods to anything we do on-chain. They have an excellent team who we've partnered with closely over the years, and the process of writing invariants with them has proven to be invaluable in writing better smart contracts."

Read more

Jared Flatow, VP of Engineering, Compound Finance

“The Certora prover plays an important role in our overall safety strategy by providing an accessible way to quickly iterate on formal specifications and determine the correctness of bytecode. It's what we reach for when both time and safety are of the essence. Engineers can learn to use it in a few days and don't need a Ph.D. in formal methods to create good specifications. The tool recently helped us to uncover an inconsistency in an updated version of one of our oldest smart contracts, which was a surprising result. The Certora team is highly responsive and promptly addresses issues we encounter.”

Read more

Kurt Barry, Protocol Engineer, MakerDao


Verification Reports


Webinars & User Guides

Academic Papers

our investors

Eli Ben-Sasson

elad Gil

yona Hollander

uri Kolodny

stani Kulechov

moti Rafalin

scott Shenker

balaji Srinivasan


Senior Enterprise
Sales Rep
Security Engineer

US / Europe

Certora offers a unique SaaS product called the Certora Prover for Web3 code security. The Certora Prover compares the smart contract code to a formal specification – a way to express fundamental properties of the code. The tool automatically locates bugs before deployment or mathematically proves their absence even after contract updates. The Prover plugs into your standard deployment pipeline and is an essential complement to human audits and bug bounties. Notice that, unlike manual audits, the tool is immediately available and can be applied. 

Responsibilities & Duties 

  1. Sell SaaS subscriptions to projects developing smart contracts on top of blockchain including DeFi, Games, and NFT. Communicate with potential clients in meetings and on social media.
  2. You will help uplevel our existing ad-hoc sales process to a scalable and repeatable process.
  3. Tremendous potential for career growth. Once we’ve nailed the sales process, we will hire and scale it quickly.
  4. Become adept at demonstrating and describing Certora’s product and service offerings.
  5. Understand how to qualify inbound inquiries to initial conversation, transition into opportunities and build the sales pipeline.
  6. Remain current with our product offering and gain key market information within the DeFi community.
  7. Provide reports as needed to show lead generation and/or qualification metrics.

Qualifications & Skills

  1. Experience with selling technical solutions to software development teams. Experience in the DeFi space.
  2. Significant proven experience managing the Sales process end to end.
  3. Skilled in persuasive communication techniques.
  4. An understanding of crypto projects including Lending Protocols, Decentralised Exchanges, Oracles, Stablecoins, Staking, and cross-chain platforms that may be potential customers for Certora. 
  5. Passionate about crypto and deep technology and have relevant experience, and can speak about relevant topics that our customers engage in regularly. 
  6. Excellent written and verbal communication skills, as demonstrated by a history of preparing presentation materials for sales meetings.
  7. Inquisitive and self-driven sense of motivation


Contact Us