Overview
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 prov
Full job description
Full Job Description
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.
Tips for this job
Practical Job and Scholarship guidance. These tips do not replace official rules or create new eligibility requirements.
- Tailor the CV and application to the responsibilities and required skills stated on the official employer page.
- Use concrete evidence of relevant work, projects and measurable results rather than generic claims.
- Confirm location, work authorization, remote restrictions and sponsorship terms before applying.
- Apply through the original employer or official recruitment destination shown on this page.
Verification notes
Discovered directly from the employer’s public Ashby Job Postings API. The complete public role content and compensation metadata were normalized into safe candidate-facing sections.
Job and Scholarship is the discovery and verification layer. Confirm eligibility, dates, salary/funding and application instructions on the original source before submitting anything.
Axiommath Careers ↗Browse current Job and Scholarship listings from Axiommath Careers →
