Certora
certora.comCertora develops unique technology that supplements your programming experts and manual auditors by automatically detecting security vulnerabilities both before the code is deployed and during operation. The process is executed automatically and provides mathematical proofs of correctness on a daily basis. For carefully defined properties of your software, Certora technology can completely guarantee the absence of security vulnerabilities.
Is this your organization?
If you're responsible for hiring at this organization, make sure your organization and job information are always up to date to attract top talent from the Data Careers network.
Something looks off?
Open jobs at Certora
On-site & Remote
Seniority
Salary