Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. Smart contracts are driving a revolution in financial services commonly known as Decentralized Finance (DeFi) as well as in other online data processing services.

Certora’s flagship security product, Certora Prover, is a unique SaaS product which automatically locates even the most rare & hard-to-find bugs on your smart contracts or mathematically proves their absence. The Certora Prover plugs into your standard deployment pipeline. It is helpful for smart contract developers and security researchers during auditing and bug bounties. Our team consists of world-class formal verification experts who use this revolutionary technology to help our customers gain confidence in their contracts. It has already been used by the top DeFi protocols to secure 25 billion dollars. Some of our clients are MakerDAO, AAVE, Morpho, Ethereum Foundation, GMX.

Certora is offering four products: (1) free formal verification of bytecode programs using the Certora Prover Technology, (2) manual auditing powered by formal verification, (3) premium support for users of the Certora Prover, and (4) Enterprise security for Web3 clients using formal verification and complementary services.

We are looking for a full-time dev advocate to be part of our delivery team and to lead community audits. This person works closely with our Chief Product Officer to guarantee the quality of the formal verification report. Promote usages of the Certora Prover and run competitions. Identify top security researchers.

• Run community audits with existing providers, including Cantina, Code4rena and Hats Finance.
• Communicate with the protocols when the code is ready and with marketing to make sure that the process is running smoothly.
• Make sure that competitions are properly advertised in the community.
• Make sure that questions of participating security researchers are answered promptly.
• Assist with grading and generating verification reports.
• Perform a deep dive into code and rules.
• Actively and consistently support all efforts to simplify and enhance the customer experience.
• Attend crypto events.
• Solidity and auditing experience.
• At least an undergraduate degree in computer science or a related field
• Skilled in persuasive communication techniques. Excellent written and verbal communication skills, as demonstrated by a history of preparing presentation materials for sales meetings.
• Passionate about crypto and deep technology and can speak about relevant topics that our customers engage in regularly. An understanding of crypto projects, including DeFi, lending Protocols, decentralized exchanges, Oracles, Stablecoins, Staking, and cross-chain platforms that may be potential customers for Certora. Interest in auditing or other security-related offerings.
• Role model and leadership
• The ability to learn the Certora Prover and to read rules.
• Location: global, preferably Europe (we have physical offices in Berlin, Brno, London, and Tel Aviv and can sponsor shared office space elsewhere) or East Coast US.

Success Criteria

1. Increase the number of free users
2. Increase the number of participants in formal verification competitions
3. Extra bonus for paying clients

Certora People

We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner.

We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable.

We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. 

We have a positive “can do” attitude. We support each other and are encouraged to ask for help and collaborate. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery.

We are Pioneers in DeFi security and FV experts - we are one of the best companies to help developers and security researchers secure Web3 but we’re humble and always eager to learn more.

Why join Certora?

Certora provides you a wonderful opportunity to:

• work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies
• contribute to unique formal verification technology, the leading way to ensure the behavior of any type of software 
• experience a friendly creative start-up environment with top talent in the domain
• work in a fast-paced and supportive culture: we move fast and break nothing!
• enjoy flexible work (remote / hybrid)
• get competitive compensation & benefits (including equity)