Mathematical Formalization Specialist

Mathematical Formalization Specialist (Lean / Formal Proof Systems) What if your mathematical expertise could directly shape how AI reasons, verifies, and understands formal logic? We're looking for mathematicians with deep proof-writing experience to translate complex human arguments into machine-verifiable formalizations - working at the very edge of what AI and proof assistants can do today. This is a fully remote, flexible contract role built for mathematicians who find beauty in precision …