Lead ML Researcher: Math Discovery & Proof Systems
Listed on 2026-10-06
-
Research/Development
Data Scientist, AI Business & Operations -
IT/Tech
Data Scientist, AI Business & Operations
Axiom is seeking a senior ML researcher to lead core discovery projects at the intersection of deep learning, neuro-symbolic methods, and formal mathematics. You will design large-scale experiments, collaborate with research mathematicians to define benchmarks, and translate insights into business value through publications and open-source releases.
You will also mentor junior researchers, provide technical guidance, and foster a culture of excellence and collaboration in a high-performance team
We would love to welcome a new Lead ML Researcher:
Math Discovery & Proof Systems to our team in Palo Alto, CA, United States.
The Lead ML Researcher:
Math Discovery & Proof Systems role at Axiom is now open for applications in Palo Alto, CA, United States.
Join us at Axiom as our next Lead ML Researcher:
Math Discovery & Proof Systems in Palo Alto, CA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).