Mathematics & Python Expert - Freelance AI Trainer

Mindrift connects specialists with project-based AI opportunities for leading tech companies, focused on testing, evaluating, and improving AI systems. Participation is project-based, not permanent employment.

• Degree in Mathematics (Pure or Applied) or related field.
• 2+ years of research, applied, or teaching experience.
• Proficiency in Python for writing reference solutions.
• Fluency with or strong willingness to learn at least one scriptable mathematical package such as Z3, cvc5, Macaulay2, Singular, CasADi, IPOPT, SDPB, G6K, fpylll, or SageMath.
• Ability to design problems that genuinely require a specialized solver.
• Strong written English (C1+).
• Willingness to self-learn if no prior experience with listed tools.

• Design mathematics problems to challenge a frontier AI model requiring a specialized tool like Z3, cvc5, SageMath, Macaulay2, or others.
• Write a Python reference solution and supply input files optionally.
• Decide the numerical answer and define the accuracy required for correctness.
• Test the problem against the model in batches of parallel attempts, tuning difficulty to achieve a 10-30% pass rate.
• Collaborate with a senior reviewer in the subfield to ensure task quality.
• Tune problems based on model performance, rewriting and tightening as needed.

Please submit your CV in English and indicate your level of English proficiency.