Remote Lean 4 Proof Engineer: Formalize Math for AI

Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate about proof construction. Your responsibilities will include translating proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Master's in a relevant field and possess a strong proof-writing foundation. Join us working at the frontier of AI research with meaningful projects that push the limits of mechanized mathematics.#J-18808-Ljbffr