Lean Formalization Engineer (Remote)

Alignerr is seeking a Mathematical Formalization Specialist to translate informal proofs into Lean and related proof systems, pushing machine-verifiable mathematics forward in AI research. This fully remote hourly contract role emphasizes precision, readability, and scalable formalizations across proof assistants. The ideal candidate holds a Master’s or higher in Mathematics or related fields, with hands-on Lean experience (Lean 3/4) and familiarity with Coq, Isabelle/HOL, or Agda.