Remote Lean Formalization Specialist AI Proofs
Jacksonville, Duval County, Florida, 32099, USA
Listed on 2026-11-01
-
Research/Development
AI Evaluation
Alignerr is seeking a Mathematical Formalization Specialist to translate advanced mathematical arguments into Lean formalizations for AI reasoning. This fully remote hourly contract targets mathematicians with strong proof systems expertise who value precision and verifiable results.
You will work with AI researchers to push the boundaries of mechanized mathematics, produce readable proof scripts, and contribute to formal libraries, with flexible commitment and ongoing project opportunities.
We are looking to fill the Remote Lean Formalization Specialist for AI Proofs position at Alignerr Corp. in United States.
Full responsibilities and requirements are described in the listing above.
Learn more about the Remote Lean Formalization Specialist for AI Proofs role in the description above.
We appreciate your interest in this position.
Join Alignerr Corp. and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).