Lean Proof Architect for AI Reasoning

Hace 4 días

rosario, santa fe, Argentina Alignerr Corp. Jornada completa

Alignerr is seeking a Mathematical Formalization Specialist (Lean / Formal Proof Systems) to translate informal proofs into Lean and related systems, ensuring machine-verifiable correctness. You will analyze proofs, identify gaps, and build formalizations that push the boundaries of automation.

A fully remote, hourly contract with flexible commitment offers opportunities to collaborate with leading AI research labs and contribute to frontier mechanized mathematics.