Job Description
Alignerr is seeking a Researcher to translate complex mathematical proofs into Lean 4 formalizations for AI training. This fully remote contract suits researchers who enjoy rigorous reasoning and pushing proof automation to its limits. You will collaborate with mathematicians and formal verification specialists, deliver readable proof scripts, and help extend libraries like Mathlib. A Master’s or higher in math/logic is expected, with Lean 3/4 and Coq experience valued. #J-18808-Ljbffr
