Mathematician with Python Proficiency - AI Trainer

We're building a talent pool of Mathematics professionals with Python proficiency to contribute to project-based AI development initiatives, focused on evaluating and enhancing frontier AI models.Designed for mathematicians who enjoy deep technical problem-solving, this pipeline role is for those looking to apply their analytical expertise to evaluate and push the boundaries of frontier AI models, relying on domain-specific tools such as Z3, cvc5, SageMath, or Macaulay2, with verifiable, code-graded answers run inside isolated Linux environments.Key ResponsibilitiesIdentify an appropriate mathematical software package and build problems whose solution genuinely hinges on that tool's core capabilitiesDevelop full Python solutions for each problem, providing input files where applicableEstablish the correct answer and define the acceptable margin for the AI model's response, based on the mathematical contextRun the problem against the AI model across multiple parallel attempts, analyzing where it succeeds or falls short, and adjusting difficulty until the pass rate falls between 10% and 30%Rewrite and refine problem parameters iteratively, building an understanding of how the model navigates complex mathematical challengesHand off completed tasks to a senior reviewer in your subfield and refine based on their feedback before final submissionCore RequirementsAcademic background in Mathematics, Pure or Applied, or an equivalent fieldAt least 2 years of hands-on experience in mathematics research, applied work, or teachingSolid Python skills, applied to writing and validating computational solutionsCapacity to build problems that cannot be solved without specialized mathematical softwareExcellent written and verbal communication skills in EnglishAbility to work independently in a remote, fast-paced environmentNice-to-HaveWorking knowledge of one or more domain-specific mathematical tools, including but not limited to Z3, cvc5, Macaulay2, Singular, CasADi, IPOPT, SDPB, G6K, fpylll, or SageMath, or a demonstrated ability to get up to speed independentlyPrior exposure to how frontier AI models approach complex scientific problemsKnowledge spanning more than one area of mathematics, such as algebra, optimization, formal verification, or computational number theoryFamiliarity with containerized or sandboxed Linux execution environmentsPlease Note: Due to the high volume of applications, only shortlisted candidates will be contacted.We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.