Lean 4 Proof Engineer – Formalize Advanced Math for AI

Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments into machine-checkable formalizations using Lean 4. This fully remote, hourly contract role offers 10–40 hours weekly and suits mathematicians with strong proof-writing skills.

You will analyze proofs, build formalizations, and collaborate with researchers to enhance verification pipelines while producing clear proof scripts and contributing to large‑scale formalization projects.

#J-18808-Ljbffr…