CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

United States (Remote)

Mid-Level to Principal

REMOTE

CertiK, the leading blockchain security company founded by Yale and Columbia professors, is hiring Software Engineers (Engineer III to Principal) focused on Formal Methods. In this role you will design and build automated program verification tools to ensure the correctness and security of smart contracts and blockchain protocols. The work draws on techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, and deductive verification. The position is fully remote and offers a base salary range of $115,000–$230,000 depending on experience.

Formal verification

Model checking

SAT/SMT solving

Abstract interpretation

Symbolic execution

Data flow analysis

Deductive verification

Algorithms and data structures

Mathematical logic

Automata theory

CI/CD

Automated testing

Sign up or log in to view the full job and apply

Create a free account to read the full job description, apply, and unlock a free AI study plan with CertiK's interview process, recent question patterns, and step-by-step practice.

Free AI interview study plan included

Sign in to unlock a company-specific preparation guide for CertiK: interview rounds, recent question patterns, Coach AI practice, coding & system design drills, behavioural prep, and a mock interview — all tailored to this role.