Jobs on TAL
All jobsRemoteResearchai/ml infra5+ yearspython
RemoteSeniorai/ml infra

Numerical Methods Engineer

Oak Tree SoftwaremultiPosted 20 May 2026

Oak Tree Software is seeking a Numerical Methods Engineer to design complex mathematical benchmark tasks for AI research. The role involves creating verifiable problems in areas like numerical analysis and combinatorial optimization, as well as developing custom verification scripts. Candidates must have a strong background in computational science, Python, and formal proof construction. This is a remote, highly analytical position requiring experience with containerization and large-scale computational methods.

Matched by TAL

50k new jobs listed every day. Install TAL to find more jobs like this.

Install TAL

Experience

5+ years

Function

Research

Work mode

Remote, multi

Company

Tier 2

What you will work on

Oak Tree Software is seeking a Numerical Methods Engineer to design complex mathematical benchmark tasks for AI research. The role involves creating verifiable problems in areas like numerical analysis and combinatorial optimization, as well as developing custom verification scripts. Candidates must have a strong background in computational science, Python, and formal proof construction. This is a remote, highly analytical position requiring experience with containerization and large-scale computational methods.

TAL's take

Quality 60/1005/5 clarityTier 2 company

Specialized role in AI benchmarks with clear technical requirements, though the company is tier 2 and the location is highly distributed.

Highly specific JD with clearly defined output expectations, technical stack, and domain focus.

Must haves

  • 5+ years in mathematics, quantitative research, or computational science
  • Proficiency in Python, NumPy, SciPy, or SymPy
  • Experience writing mathematical proofs or formal derivations
  • Ability to create problems with precise, verifiable answers
  • Experience with AI coding benchmarks
  • Proficiency with Docker
  • Understanding of numerical methods

Tools and skills

pythonnumpyscipysympymathematical proofsdockernumerical methods

Nice to have: automated theorem proving, formal verification, math competition problem design.

About the company

Unfamiliar company, default mid-tier assigned.

Posts mentioning Oak Tree Software