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

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.

What This Opportunity Involves

You 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.

• 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 ...