Pod Lead - Mathematics

Turing; California; Hybrid; USD 150,000 - 200,000; Full time

Job summary

Turing in the United States (California) seeks a lead for a pod of 5–10 trainers, crafting realistic terminal-based tasks for scientific benchmarks. You will review work end-to-end, verify correctness, and guide graders with rigorous error analysis.

You will mentor/trainers, manage throughput, and collaborate with stakeholders to improve benchmark quality and reproducibility across projects.

Qualifications

• PhD or equivalent in mathematics or related field.
• Strong programming and Linux skills.
• Experience mentoring or leading small technical teams.
• Ability to assess reproducibility and scientific validity of computations.

Responsibilities

• Lead a pod of trainers developing realistic, terminal-based tasks.
• Review trainer work for mathematical correctness and reproducibility.
• Mentor trainers; manage quality and throughput; escalate blockers.
• Design and review graders based on error bounds and proofs.
• Ensure tolerances and reproducibility; document processes.

Skills

Python

Julia

C/C++

MATLAB/Octave

Linux/Terminal

Numerical methods

Symbolic computation

Optimization

Computational statistics

Mathematical modeling

Education

Ph.D. in mathematics / applied mathematics / statistics or related field

Tools

NumPy

SciPy

SymPy

mpmath

SageMath

PARI/GP

GAP

Macaulay2

Mathematica-like workflows

Docker

Git

CI / automated testing

PETSc

JuMP / Pyomo / CVXPY

Lean/mathlib or Coq

Isabelle

Job description

Lead a pod of 5-10 trainers developing realistic, terminal-based scientific and technical tasks for Terminal Bench Science. Review trainer-created work for mathematical correctness, reproducibility, challenge, and grader reliability; mentor trainers; manage quality and throughput; and improve benchmark quality with the Mathematics Team Lead and technical stakeholders.

Responsibilities

• Review task statements, datasets, environments, reference solutions, and automated tests end-to-end.
• Verify correctness, well-posedness, convergence, stability, conditioning, discretization error, and edge cases. Ensure tasks require multi-step reasoning and use exact, symbolic, arbitrary-precision, or floating-point computation appropriately.
• Design and review graders based on residuals, feasibility, optimality certificates, invariants, error bounds, or proof checking.
• Ensure appropriate numerical tolerances, reproducibility through pinned tools and dependencies, and protection against hard-coded answers, test-file leakage, and bypasses.
• Give precise feedback, track revisions through closure, onboard and mentor trainers, allocate work, monitor quality and throughput, **escalate blockers**, and maintain pod documentation.

Requirements

• Ph. D., postdoctoral experience, or equivalent advanced experience in mathematics, applied mathematics, statistics, or a related field.
• Strong programming skills in Python, Julia, C/C++, MATLAB/Octave, or a computer algebra system; strong Linux and terminal proficiency.
• Hands-on experience with numerical methods, scientific computing, symbolic computation, optimization, computational statistics, or mathematical modeling.
• Ability to rigorously evaluate derivations, algorithms, proofs, computational results, research outputs, code, and scientific workflows.
• Experience mentoring or leading small technical or research teams; strong written communication and precise, constructive feedback.
• Ability to assess reproducibility, test reliability, and the scientific validity of computational tasks.

Nice to have

• Experience with NumPy, SciPy, SymPy, mpmath, SageMath, PARI/GP, GAP, Macaulay2, Mathematica-like workflows, FEniCS, Firedrake, DifferentialEquations.jl, PETSc, CVXPY, JuMP, Pyomo, HiGHS, Lean/mathlib, Coq/Rocq, Isabelle, Docker, Git, CI, automated testing, benchmarks, competition problems, computational evaluations, AI coding/reasoning/terminal agents, olympiad or competition problem setting/judging, publications or open-source work, or AI training/data-generation/model-evaluation programs.