Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced proofs in Lean 4, pushing the frontier of machine-verifiable mathematics. This fully remote, hourly contract role offers flexible schedule and collaboration with leading researchers.
Robust mathematical depth and hands-on experience with formal proof systems are required; no AI background is necessary. 10–40 hours per week, globally distributed team, work from home allowed.
J-18808-Ljbffr