Posting record
Open 12+ 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. This one was already up when Ghostless started tracking Axiommath, so its true age is longer.
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
Applicable Field of Work
- Machine Learning & AI for Mathematical Discovery and Reasoning — R&D at the intersection of deep learning, neuro-symbolic methods, automated theorem proving, and pure/applied mathematics.
Duties & Responsibilities
- Lead core discovery projects (e.g., successors to PatternBoost ): set research agendas, design and run large-scale experiments to reveal latent mathematical structures, and publish high-impact papers in top AI and mathematics venues.
- Collaborate with research mathematicians to identify open problems to tackle, formulate them into benchmarkable ML objectives, build reproducible pipelines, and iterate toward state-of-the-art solutions.
- Communicate results broadly through peer-reviewed publications, conference talks, open-source releases, and internal briefings that translate research insights into business value.
- Mentor and coach junior researchers by providing technical guidance, rigorous code reviews, and career development support, fostering a culture of excellence and collaboration.
Professional Skills & Competencies
Hard Skills
- Advanced coding in Python and modern ML frameworks (PyTorch, JAX, TensorFlow).
- Deep expertise in large-scale training, reinforcement learning, program synthesis, and neuro-symbolic techniques.
- Strong foundation in higher mathematics (algebra, analysis, combinatorics) and formal proof systems (Lean, Coq, Isabelle).
- Demonstrated research acumen: experiment design, rigorous analysis, and a track record of peer-reviewed publications.
Soft Skills
- Exceptional scientific writing and presentation abilities, tailoring complex ideas to diverse audiences.
- Proven collaborator who thrives in interdisciplinary teams with mathematicians, engineers, and product stakeholders.
- Leadership and mentorship strengths—able to inspire, guide, and elevate a high-performance research culture.
Something wrong with this posting?