Remote / US / Europe
Certora is a Web3 security company that provides industry-leading formal verification tools and smart contract audits. 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. 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 also provides services such as auditing, formal verification projects, and incident response.
We are looking for front end tech leader that will develop our Prover user-facing facade, making an extremely sophisticated piece of software accessible to end-developers. You will work closely with the rest of the development and product groups especially the Prover engine and Usability teams, to gain understanding of the Prover and the gaps end-developers face while using it. In addition, you will be the technical focal point for the web frontend developers who are building auxiliary solutions around the Prover ecosystem, delivering easy-to-use products to our users – developers and auditors in the web3 world.