Formal Verification Engineer

Formal

Remote remote Until 8/21/2026 First posted May 25, 2026 Last posted May 25, 2026

Job description

Expectations

You’ll contribute to formal verification efforts for a new low-level programming language. Expect to architect, write, and review formal specifications and complex mechanized proofs in Rocq. You will work closely with engineering teams to extract correct-by-construction software from mechanized proofs.

Responsibilities

Lead the design, development, and maintenance of mechanized theorems and proofs in Rocq.
Collaborate closely with the compiler and OS teams to understand design goals, define formal specifications, and integrate verification into the development lifecycle.
Participate in both sides of code reviews.
Actively anticipate and communicate future roadblocks.

Qualifications

Advanced degree in formal methods or programming languages or equivalent practical experience.
Deep expertise and extensive practical experience with Rocq and its ecosystem (tactics, libraries, automation).
Experience leading or contributing to complex formal verification projects such as compilers or OS kernels.
Ability to formally articulate, reason about, and verify low-level security, safety, and correctness properties of programming languages like Rust and C/C++.
Ability to read, write, and understand formal programming language specifications and implementations.
Ability and willingness to document, teach, and explain complex technical problems and solutions.
High level of independence and autonomy.

Benefits

Compensation is comprised of a stock grant (≥ 0.2%) conditioned on a vesting schedule. Benefits include unlimited paid and unpaid vacation time, reimbursable vacation expenses (transportation and lodging up to $1k), a triennial $4k computing device allowance, comprehensive medical, dental, and vision insurance, a $120 monthly gym allowance, and $250 yearly to spend on anything educational.

About this role

Summary

Lead formal verification efforts for a new programming language, develop specifications and proofs.

Job title

Formal Verification Engineer

Experience level

advanced degree or equivalent practical experience

Industry

software

Location requirements

remote, work from anywhere

Salary

Not specified

Management role

Skills & keywords

Required skills

formal methodsprogramming languages Rocq proofsverification

Preferred skills

compiler verificationOS kernelsRustC/C++formal specifications

Specializations

formal verificationautomated proofsprogramming languagessecuritycorrectness

Locations

Structured locations inferred from the posting.

Unknown location

Remote