Remote Lean 4 Proof Scientist (Mathlib)
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 mathematical proofs into machine-verifiable form using Lean 4. This fully remote role focuses on clarity and correctness in mathematical argumentation. Candidates should have a Master's degree in Mathematics or related fields and experience with Lean or similar formal proof systems. You will work closely with AI researchers on cutting-edge projects, contributing to the advancement of formal verification. Flexible working hours are offered.