Remote Lean Formal Verification Scientist; Mathlib
Raleigh, Wake County, North Carolina, 27601, USA
Listed on 2026-10-20
-
Research/Development
Mathematics
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into Lean 4 proofs, working with AI research teams on mechanized mathematics. This is a fully remote, hourly contract.
You will collaborate across disciplines, stress-test proof assistants, and produce readable scripts aligned with Mathlib idioms. Ideal candidates have a strong math background and experience with Lean, Coq, Isabelle/HOL, or Agda.
Are you ready to take on the Remote Lean 4 Formal Verification Scientist (Mathlib) role at Alignerr Corp.?
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Remote Lean 4 Formal Verification Scientist (Mathlib) role at Alignerr Corp., based in Charlotte, AR, United States.
We are looking to fill the Remote Lean 4 Formal Verification Scientist (Mathlib) position at Alignerr Corp. in Charlotte, AR, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).