Mathematician with Python (Colombia)

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 Responsibilities

• Identify an appropriate mathematical software package and build problems whose solution genuinely hinges on that tool's core capabilities.
• Develop full Python solutions for each problem, providing input files where applicable.
• Establish the correct answer and define the acceptable margin for the AI model's response, based on the mathematical context.
• Run the problem ag...