Lean 4 & Pure Math Specialist - AI Trainer; Remote
San Jose, Santa Clara County, California, 95199, USA
Listed on 2026-09-29
-
Education / Teaching
Mathematics -
IT/Tech
Mathematics
Meridial is seeking a Pure Mathematics Specialist for a Freelance AI Trainer Project. This role involves engaging deep mathematical expertise to train AI models in pure mathematics principles. You'll collaborate with our team, construct complex proofs, and convert this work into Lean 4 syntax.
The ideal candidate holds a PhD or is currently a Post Doc in pure mathematics, with a strong command of advanced topics. This position is 100% remote and offers a pay range of $35 to $65 per hour based on experience.
Step into the Lean 4 & Pure Math Specialist - AI Trainer (Remote) role at Meridial in United States and grow with us.
We invite applications for the Lean 4 & Pure Math Specialist - AI Trainer (Remote) position located in United States.
The following role is for a Lean 4 & Pure Math Specialist - AI Trainer (Remote) with Meridial.
(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).