EmergingAI for physics, mathematics and astronomy

AI Mathematical Discovery Researcher

Also called AI Mathematics Researcher

An AI Mathematical Discovery Researcher uses learning systems and formal tools to propose conjectures and algorithms, then gets them independently checked. They give a company results it can trust, not just results that look promising.

What they do

They build and run systems that suggest mathematical conjectures or better algorithms, often by searching large spaces of examples or candidate constructions. They test each idea hard. That means counterexample search, numerical checks and, where possible, formal proof in a theorem prover. They work out which results are worth chasing and which are artefacts of the search. They write up claims so that someone else can verify them without trusting the author. They also work with domain experts in mathematics, physics or astronomy, and they keep clear records of what was tried, what failed and why.

What a strong hire delivers

In the first months, a strong hire delivers a working loop from idea to verified result. That includes a first set of conjectures or algorithm candidates, each with evidence that someone other than the author has checked. They set out how the team will judge a claim as valid or an improvement as real. They leave behind reusable code, a log of dead ends, and a clear view of which problems suit this approach and which do not.

How you can tell they are good

Ask them to walk through one result from first idea to final check. A strong candidate can say exactly what was verified, by whom, and how. They separate a conjecture from a proof without prompting. Ask what would convince them a result was wrong. Look for comfort with formal tools and honest uncertainty. Be wary of anyone who talks only about model output and cannot explain why it is true.

Why it is hard to fill

Hardly anyone holds this title yet. The work usually sits inside research scientist, applied mathematician or computational physicist roles. The mix is rare: real mathematical depth, working knowledge of deep learning, and the discipline to verify. Most people have two of the three. Mathematicians may lack engineering habits. Machine learning engineers may lack the rigour to judge a proof. Candidates are often not looking, because they are happy in research posts.

Where to find them

Look in mathematics, theoretical physics, astronomy and scientific computing groups, especially people who have moved into machine learning. Useful titles include research scientist, research engineer, computational scientist and postdoctoral researcher. Frontier labs and AI-for-science teams employ some. So do university groups working on formal methods, and quantitative teams in industry. Contributions to theorem prover libraries are a good signal.

Indicative pay

Not enough published evidence yet to give a fair range for this role, which is common for work this new. We benchmark it for you as part of a search.

Interview questions for an AI Mathematical Discovery Researcher

  1. Tell us about a conjecture or algorithm you proposed that someone else independently verified. How did that verification happen?

    A strong answer names the claim, the checker and the method, whether formal proof, replication or expert review. It admits what was not covered. Worry if verification was only the author rerunning their own code.

  2. How do you tell a genuine mathematical pattern from an artefact of your search or data?

    Good answers cover held-out cases, larger parameter ranges, counterexample search, and asking whether the pattern has a plausible reason. Worry if they trust fit or frequency alone, or never describe a pattern that failed.

4 more questions, with what a strong answer covers, are in the Role Kit.

Job description you can post

We are building a research effort that uses learning systems to find new mathematics and better algorithms. We need someone who can propose ideas, test them hard and get them checked independently. You will work closely with engineers and domain experts, and your results will be judged on whether they hold up.

What you will do

  • Propose mathematical conjectures and candidate algorithms using learning-based methods
  • Test each idea with counterexample search, numerical checks and formal proof where possible
  • Arrange independent verification of claims before they are shared
  • Define how we judge proof validity and algorithmic improvement
  • Work with domain experts in mathematics, physics or astronomy
  • Keep clear records of methods, failures and results
  • Build reusable code and tooling for the discovery loop

What you will bring

  • Demonstrated mathematical reasoning, shown through proofs, papers or code
  • Hands-on experience with deep learning in a research setting
  • Experience using a theorem prover or other formal verification methods
  • A record of separating verified results from plausible ones
  • Strong scientific computing skills
  • Ability to explain uncertainty in a result clearly
  • Evidence of working across disciplines

Nice to have

  • Contributions to a formal mathematics library
  • Experience with simulation codes or observatory data tools
  • Published work in mathematics, physics or astronomy

Free to use and adapt. If it saves you time, a link back to this page is appreciated.

Skills that matter

  • Scientific domain expertiseAdvancedApply disciplinary theory and experimental standards
  • Formal verificationAdvancedProve stated properties under explicit assumptions
  • Deep learningWorkingBuild and diagnose trainable neural models
  • Uncertainty quantificationWorkingEstimate confidence, calibration and model uncertainty

Other roles in aI for physics, mathematics and astronomy

Hiring nowPhysics-Informed ML ScientistA Physics-Informed ML Scientist builds learned models that respect physical laws, so a company can run fast, trustworthy approximations of costly…Hiring nowAstronomy AI ScientistAn Astronomy AI Scientist analyses astronomical observations with calibrated statistical learning. They give a company catalogues and detection…EmergingQuantum Machine Learning ResearcherA Quantum Machine Learning Researcher tests whether quantum methods can beat classical ones for learning problems under realistic limits. They save…

Related roles in other families

Hiring nowScientific Machine Learning ScientistScientific machine learning and research computingA Scientific Machine Learning Scientist builds learned models that obey the physics, chemistry or biology of a problem. They matter because a model…Hiring nowAI Research Software EngineerScientific machine learning and research computingAn AI Research Software Engineer turns scientific machine learning ideas into software that other people can run, trust and extend. They give a…EmergingAI Scientific Workflow EngineerScientific machine learning and research computingAn AI Scientific Workflow Engineer connects data, models and instruments into reproducible science pipelines. They make sure results can be traced…EmergingAI Reproducibility SpecialistScientific machine learning and research computingAn AI Reproducibility Specialist independently reruns AI-supported scientific claims and reports what holds and what does not. They protect the…

How we wrote this

Role definitions are our own editorial work, checked against occupational classifications, standards, research and employer pages. Titles vary by company, and this is a description of the work, not a job advert.

← AI for physics, mathematics and astronomyAll new job families

Start a search

Hiring an AI Mathematical Discovery Researcher?

Tell us the work. We find the people already doing it, whatever their job title says, and you meet them already interviewed for your role.