Posting record
Open 6 days
- Axiommath's site dates the posting
- Ghostless first sees this listing
- Last checked: still up
How we know
It hasn't been reposted, listed twice, or left up unusually long, and the posting doesn't say it's a talent pool.
Ghostless records the day it first sees a posting, so a repost can't reset its age.
Last checked Nov 3, 2026.
How well do you match?
See how much of this posting your resume shows, and what it's missing.
Upload your resumeWhat the posting discloses
Not stated: Pay, real vacancy, AI screening.
Why these three
Ontario requires postings from employers with 25 or more staff to state the pay, whether the vacancy exists, and whether AI screens applicants.
Some employers add pay only on their own site. Check the original posting before you rule it out.
Skills mentioned
About the role
Interns join the technical staff on a focused research or engineering project. You might work on mathematical reasoning, model training, formal verification, or supporting infrastructure. We will define the project with you based on Axiom’s current work and where you can contribute most.
What you’ll do
- Work with a mentor on a research or engineering project that matters to Axiom.
- Take ownership of the full project lifecycle: planning, experimentation, and productionization.
- Gain a broad view of Axiom’s work across the company, and learn how research, engineering, and formal verification come together in pursuit of mathematical discovery.
What we’re looking for
- Evidence of technical ability through research, open-source work, independent projects, or coursework.
- Depth in at least one of computer science, machine learning, mathematics, or formal methods.
- The ability to write and debug substantial code.
- Agency to drive a project and the ability to collaborate across disciplines.
We do not require prior experience in every area. We assess candidates based on demonstrated technical work.
Something wrong with this posting?