Complex Math Data Specialist - English (Philippines)

TELUS Digital AI Data Solutions; Manila; In loco; PHP 900.000 - 1.300.000; Tempo pieno

Descrizione del lavoro

TELUS Digital in Manila seeks a research-level mathematician to author a single original, unpublished mathematical problem that probes AI reasoning limits. The problem must be self-contained with explicit definitions and hypotheses.

Provide one exact answer format, a complete solution write-up, reproducible code to verify the result, and a reference-answer function for the evaluation harness. Ensure your submission includes all required materials for independent testing.

Competenze

• Active mathematical research at doctoral level or beyond.
• Expertise in number theory, analysis, PDEs, harmonic analysis, category theory or mathematical physics.
• Ability to design original, self-contained research problems with exact answers and reproducible verification.

Mansioni

• Design one original, unpublished research-level problem in your area.
• Make the problem self-contained with all definitions and hypotheses.
• Define an exact answer type and provide a complete solution write-up.
• Provide reproducible code and reference-answer function for evaluation.

Descrizione del lavoro

TELUS Digital is seeking research-level mathematicians to contribute to an advanced mathematical reasoning benchmark for a leading AI research organization.

As a Complex Math Data Specialist, you will design a single original, research-level mathematical problem intended to probe the limits of current AI reasoning systems. The problem should sit beyond the capabilities demonstrated by current frontier models under the programme's evaluation protocol and must have a precise, machine-checkable answer.

This is problem authoring, not proof formalization. You will not be asked to produce a machine-checked proof. Instead, you will create one rigorous mathematical challenge, provide its exact answer and solution, and supply the computational materials required to independently verify the result.

The project is particularly suited to researchers with deep expertise in areas such as number theory, combinatorics, algebraic geometry, analysis, topology, differential geometry, PDEs, harmonic analysis, category theory, or mathematical physics.

What You'll Do

• Design one original research-level problem in your area of mathematical expertise. The problem must be new and unpublished. You may build on existing mathematical ideas, but the resulting problem must be sufficiently transformed or combined that its source is not readily identifiable.
• Make the problem completely self-contained. Include all definitions, conventions, non-standard notation and hypotheses required to solve it. The evaluator will not have access to supplementary papers or references at evaluation time.
• Define one exact answer and answer type. Accepted formats may include a Python integer, sympy.Expr, sympy.Matrix, tuple of integers, or another explicitly supported machine-checkable format. Approximate answers do not receive credit.
• Make the problem resistant to guessing. The probability of obtaining the correct answer without performing the substantive mathematical work should be below the programme's threshold. Small integers, familiar constants, simple counts and yes/no answers are generally unsuitable.
• Provide a complete solution write-up, presenting the key mathematical idea first, followed by the reasoning and any required computation.
• Provide reproducible code that computes or verifies the answer and runs in under approximately 60 seconds on ordinary hardware.
• Provide the required reference-answer function in the programme's submission format.
• Evaluate your own problem using the programme's testing harness, including repeated independent model attempts, a statement-only guessing attack and contamination/source-identification checks.
• Submit evaluation logs and the required difficulty metadata, including subject area, techniques used, estimated expert hours to discover the key idea, estimated execution time once the idea is known, and whether programming is required.

Mandatory Qualifications

• Active mathematical research at doctoral level or beyond, such as a senior PhD student with supervisor endorsement, postdoctoral researcher, early-career faculty member or professor.
• Demonstrated depth in a mathematical research area, supported by published or ongoing research. Relevant areas include:
• Number theory
• Analysis
• Partial differential equations
• Harmonic analysis
• Category theory
• Mathematical physics
• Programming capability sufficient to compute and verify your own result, preferably using Python. Available tools include NumPy, SymPy, SciPy, NetworkX, gmpy2, mpmath and galois.
• Strong mathematical rigour, particularly the ability to state all assumptions and definitions explicitly and identify potential gaps under adversarial review.
• Publication-standard mathematical English.
• Ability to revise the submission following independent mathematical review.
• Willingness to work under strict confidentiality, including compliance with programme NDA requirements and restrictions on external testing or disclosure of the submitted problem.

Qualification path

Nice to Have

• Previous experience writing mathematical benchmarks, Olympiad or competition problems
• Experience with AI reasoning evaluation
• Computational algebra or number theory experience using Sage, Magma or PARI/GP
• Formalization experience with Lean or Coq
• Research in comparatively underrepresented areas such as differential geometry, PDEs, harmonic analysis, category theory or mathematical physics