Remote Lean 4 Proof Scientist (Mathlib)

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.#J-18808-Ljbffr