Remote Lean 4 & Mathlib Formalization Scientist

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