Formal Verification Engineer

Formal

Formal is the employer — EngRadar is a job radar, not a recruiter. We track this posting from their own careers page and send you straight there; we never handle applications or CVs.

Remote United States - Remote Full-time Posted 1y ago

Apply directly →

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.