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 PostDoc 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.
#J-18808-LjbffrLean 4 & Pure Math Specialist - AI Trainer (Remote) in Location not specified at Unknown Company
This position is listed as full time and able to be worked remotely.