AI Math Benchmark Problem Designer

TELUS Digital AI Data Solutions; Cebu City; On-site; PHP 900,000 - 1,500,000; Full time

Job summary

TELUS Digital seeks a research-level mathematician to craft an original, self-contained complex math problem for AI reasoning benchmarks. You will define definitions, conventions, and a machine-checkable answer, with a complete solution and reproducible code.

Ideal candidates hold a PhD or equivalent, with expertise in number theory, combinatorics, algebraic geometry, analysis, or related fields, and can implement verification tooling in Python within 60 seconds.

Qualifications

• PhD-level mathematical expertise or active doctoral-level research.
• Strong rigor in stating definitions and explicit assumptions.
• Ability to design original, publishable benchmark problems.

Responsibilities

• Design one original research-level problem in your field.
• Provide a self-contained statement with exact answer type.
• Supply reproducible code that verifies the result within ~60 seconds.

Skills

Number theory

Mathematical analysis

Abstract algebra

Python programming

Tools

Sage

Magma

PARI/GP

Lean/Coq

Job description

TELUS Digital seeks a research-level mathematician to craft an original, self-contained complex math problem for AI reasoning benchmarks. You will define definitions, conventions, and a machine-checkable answer, with a complete solution and reproducible code.

Ideal candidates hold a PhD or equivalent, with expertise in number theory, combinatorics, algebraic geometry, analysis, or related fields, and can implement verification tooling in Python within 60 seconds.