Security Engineer

Certora is a blockchain security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Prover, is helping protocols like Aave, Lido, and Maker integrate the power of formal verification into their development pipeline to catch even the most rare & hard-to-find bugs.

Comprehend complex financial systems written in Solidity code. Mathematically formalize interesting properties of DeFi and deploy Certora’s tool for automatic exact formal verification, analyze outputs of the tool to identify high severity vulnerabilities. Write public reports describing the verified properties.

1. Academic graduate degree in Math, Physics, or Computer Science from an excellent research university. Outstanding candidates with an undergraduate degree will also be considered.
2. Previous experience SW development.
3. Background in code security especially with high-level code (an advantage).
4. DeFi and Fintech understanding (an advantage).
5. Formal verification background (an advantage).