Remote Lean Formalization Expert

Alignerr is seeking a Mathematical Formalization Specialist with deep expertise in formal proof systems, particularly Lean, to advance AI reasoning and machine‐verifiable mathematics. This is a fully remote, hourly contract role collaborating with leading AI research teams. You will translate informal proofs into Lean, analyze proofs for gaps, and build formalizations that push the limits of current proof assistants while collaborating to improve verification pipelines. #J-18808-Ljbffr