Ensuring smart contract security

0

DeFi Hacks Prevented

0

Runs/Month

0M+

Solidity Lines Verified

$0B

Protected TVL

Testimonials

“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
JaredFlatow

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
jeffWu

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
ernandoMartinelli

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
MattShams

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
WillPapper

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
YuchenLin

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
JaredFlatow

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
KurtBarry

Kurt Barry, Protocol Engineer, MakerDao

Protocols

Verification Reports

Education

Webinars & User Guides

Academic Papers

our investors

Eli Ben-Sasson

elad Gil

yona Hollander

uri Kolodny

stani Kulechov

moti Rafalin

scott Shenker

balaji Srinivasan

Careers

Senior Frontend Developer
Senior Enterprise
Sales Rep
Security Engineer

Hybrid / Israel

Certora is developing cutting edge tools for guaranteeing software correctness.
We are looking for front end developer that will develop our user-facing features, and work closely with the rest of the development group and product group to deliver easy-to-use solutions to our users –  developers, and auditors in the web3 world.

JOB DESCRIPTION

MUST

  • At least 4 years of experience with Javascript, HTML, CSS and frameworks/libraries such as React, VueJS
  • Ability to plan and create complex UI according to product & design specs
  • Well-versed in coding best practices, agile methodologies, CI/CD, testing
  • Passion for learning and implementing new technologies
  • Independent, fast learner, creative, great communication skills

ADVANTAGE

  • BSc in computer science / elite army unit graduate – advantage

Contact Us


FAQ

x