Pod lead - Math (Terminal Bench Science)

Requisitos

• 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 mathematical derivations, algorithms, proofs, and computational results
• Experience reviewing research outputs, code, mathematical work, or scientific workflows
• Experience mentoring or leading small technical or research teams
• Strong written communication and the ability to provide precise, constructive feedback
• Ability to assess reproducibility, test reliability, and the scientific validity of computational tasks

Desejáveis

• Experience with NumPy, SciPy, SymPy, mpmath, SageMath, PARI/GP, GAP, Macaulay2, or Mathematica-like workflows
• Experience with FEniCS, Firedrake, DifferentialEquations.jl, PETSc, or similar ODE/PDE tools
• Experience with CVXPY, JuMP, Pyomo, HiGHS, or other optimization frameworks
• Familiarity with Lean/mathlib, Coq/Rocq, Isabelle, or other proof assistants
• Experience with Docker, Git, CI systems, and automated testing
• Experience designing benchmarks, competition problems, or computational evaluations
• Experience evaluating AI coding, reasoning, or terminal agents
• Experience setting or judging mathematics olympiad or competition problems
• Publications or open-source contributions in computational mathematics, numerical software, or formalized mathematics
• Prior experience in AI training, data generation, or model evaluation programs