Certora provides unique technology for guaranteeing code correctness and security

Blockchain

Quality Assurance

Security

Certora

Certora's headquarters in Tel Aviv, Israel

This department focuses on the design, development, and implementation of automated systems and software solutions.

Automation Engineering

This department focuses on conducting research and analysis related to security issues and developing strategies to address them.

Security Research

The Engineering Team at Certora is responsible for developing, maintaining, and optimizing the company's code verification technologies and tools. They ensure code correctness and security through rigorous software engineering practices, advanced frontend development, and efficient DevOps processes to support seamless deployment and scalability.

Engineering Team

This department focuses on researching and developing methods for ensuring the correctness of systems through formal verification techniques.

Formal Verification

The Security Team at Certora is responsible for ensuring the robustness and safety of code by utilizing advanced technology to guarantee code correctness and security. This team works on identifying vulnerabilities, auditing smart contracts, and developing tools and strategies to protect decentralized finance (DeFi) projects and other high-stakes applications from potential threats.

Security Team

The Leadership Team at Certora spearheads the strategic direction, product development, and technological innovation to ensure the company delivers top-tier code correctness and security solutions. By leveraging their collective expertise, they drive growth, oversee key projects, and maintain Certora’s position as a leader in the industry.

People (3)

Jobs (0)

Other teams

Security Research

Engineering Team

Formal Verification

Security Team

Leadership Team