About The Position

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. You will design mathematics problems to challenge a frontier AI model. The problem must have an answer verifiable by code, and the problem has to require a specialized tool like Z3, cvc5, SageMath, Macaulay2, or others. NumPy or SymPy on their own won't cut it. Each problem runs inside a sealed Linux container with the tool pre-installed and a programmatic judge that grades the model's answer.

Requirements

  • Degree in Mathematics (Pure or Applied) or related field
  • 2+ years of research, applied, or teaching experience
  • Python proficiency for writing reference solutions
  • Fluency with — or strong willingness to independently learn — at least one scriptable mathematical package: 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+)

Nice To Haves

  • Prior experience with the listed tools

Responsibilities

  • Pick an anchor tool and design a problem that hinges on its usage.
  • Write a Python reference solution, supply input files optionally where needed.
  • Decide the numerical answer and how close the model needs to get to count as right.
  • Test the problem against the model in batches of parallel attempts, tuning the problem difficulty until the agent only succeeds in a small number of attempts.
  • Ensure task quality is high through feedback from senior reviewers.

Benefits

  • Project-based opportunities
  • Up to $35 per hour equivalent compensation
© 2026 Teal Labs, Inc
Privacy PolicyTerms of Service