# Software Engineer (Engineer III to Principal) - Formal Methods at Certik

- Company: Certik
- What the company does: CertiK, the largest Web3 security service provider, uses AI and formal verification to protect and monitor smart contracts and protocols, securing the Web3 ecosystem. Backed by Insight, Lightspeed and SoftBank VF.
- Company website: https://www.certik.com/
- Type: Startups
- Level: Principal and up
- Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
- Work setup: Remote
- Pay: $115K to $230K base salary per year (USD)
- Posted: 2022-07-30
- Apply by: 2026-10-08
- Apply: https://jobs.lever.co/certik/f8fbe497-34d2-49fa-9308-879f0ffd8fa8
- Page: https://www.1752.vc/careers/jobs/certik-software-engineer-engineer-iii-to-principal-formal-methods/

## About the role

Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company.

## What they're looking for

- Master's Degree in Computer Science or a related field or 5 years of equivalent experience
- Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development)
- Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines
- Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory

Tags: Engineering - Tools