Formal Verification Engineer

View all jobs

Formal Verification Engineer

Remote

Formal Methods

Remote

Full-time

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.

Compensation

The base pay range for this role is $120,000 – $200,000 per year.

Ready to apply?

Powered by

First name *

Last name *

Email *

LinkedIn URL

Resume *

Click to upload or drag and drop here

Qualifications *

• Please tell us how your skills and experiences align with the role's qualifications. Note that while we don't require a perfect match, we also cannot move forward with candidates whose qualifications do not overlap significantly.

• Apply

• Req ID: R4