Remote Lean 4 & Mathlib Formalization Scientist
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical proofs into machine-verifiable formats. This fully remote role requires a Master's degree or higher in Mathematics or a related field, strong skills in proof writing, and experience with proof assistants like Lean (Lean 4 preferred). Responsibilities include analyzing informal proofs and collaborating with AI researchers, making this an exciting opportunity to engage in cutting-edge AI projects with flexible work hours.
J-18808-Ljbffr