US / Europe (Remote)
Seattle (Hybrid)
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.
Help us maintain the quality of jobs posted on RemoteAfrica.
Is this job not remote? Read More
Let us know!