ppWe'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. /ppDesigned 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. /ph3Key Responsibilities /h3ulliIdentify an appropriate mathematical software package and build problems whose solution genuinely hinges on that tool's core capabilities. /liliDevelop full Python solutions for each problem, providing input files where applicable. /liliEstablish the correct answer and define the acceptable margin for the AI model's response, based on the mathematical context. /liliRun 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%. /liliRewrite and refine problem parameters iteratively, building an understanding of how the model navigates complex mathematical challenges. /liliHand off completed tasks to a senior reviewer in your subfield and refine based on their feedback before final submission. /li /ulh3Core Requirements /h3ulliAcademic background in Mathematics, Pure or Applied,



or an equivalent field. /liliAt least 2 years of hands-on experience in mathematics research, applied work, or teaching. /liliSolid Python skills, applied to writing and validating computational solutions. /liliCapacity to build problems that cannot be solved without specialized mathematical software. /liliExcellent written and verbal communication skills in English. /liliAbility to work independently in a remote, fast-paced environment. /li /ulh3Nice-to-Have /h3ulliWorking 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 independently. /liliPrior exposure to how frontier AI models approach complex scientific problems. /liliKnowledge spanning more than one area of mathematics, such as algebra, optimization, formal verification, or computational number theory. /liliFamiliarity with containerized or sandboxed Linux execution environments. /li /ulh3The icing on the Kake: /h3ulliCompetitive Pay in USD – Work globally, get paid globally. /liliFully Remote – Simply put, we trust you. /liliBetter Me Fund – We invest in your personal growth and passions. /liliCompassion is Badass – Join a community that invests in social good. /li /ulpbPlease Note: Due to the high volume of applications, only shortlisted candidates will be contacted. /b /p /p #J-18808-Ljbffr

📌 Mathematician with Python - AI Trainer - Remote (España)
🏢 Kake
📍 España