Zulip Chat Archive
Stream: job postings
Topic: Axiom Math
Carina Hong (Jul 20 2025 at 21:29):
Hey! We are Axiom Math - a Palo Alto based company and we are hiring too (different from the Axiomatic AI company - located in Boston - in the thread above).
We are still in stealth mode, yet to be known by the public world, but we would love to chat with the Lean community prior to the official announcement and explore (1) having amazing candidates join our team as well as (2) hosting external open collaborations. Axiom recently closed a very large, competitive seed founding round (in the 50-100mm range) from top venture investors, and we have about 10 people - a small, world-class dream team in our 5300-sq-ft beautiful office.
AI for mathematics is our one and only focus and priority. To this end, we are hiring Lean expert mathematicians, software engineers, and ML researchers for intern and full time positions. We offer top-of-market cash and equity packages. If you are interested in learning more about the opportunity (we will share more info at hiring chats), please get in touch at careers@axiommath.ai
My email is carina@axiommath.ai and feel free to drop a note to just say hello!
Last updated: Dec 20 2025 at 21:32 UTC