Axiom Math logo

Member of Technical Staff

Axiom Math

Remote · location unlistedFull-timePosted 4mo agoStill listed 4 days ago

Evaluate my fit

Most applications go out cold — see where you stand first. No sign-up to start.

Watch jobs like this.

Don't just apply. Show up ready.

Olive works from this exact posting.

At a glance

Compensation
No compensation found
Location
Remote · location unlisted
Schedule
Full-time
Work Authorization
US work authorization required

Olive lists jobs from US employers, including remote roles you can work from the United States.

Requirements

Credentials this posting asks for.

Master's degree

Job overview

Axiom Math is hiring a Member of Technical Staff. Axiom Math is seeking a Member of Technical Staff for R&D at the intersection of deep learning, neuro-symbolic methods, automated theorem proving, and pure/applied mathematics. This role involves leading core discovery projects, collaborating with research mathematicians, communicating results through publications and presentations, and mentoring junior researchers.

Key focus areas include Lead core discovery projects, setting research agendas and designing large-scale experiments., Collaborate with research mathematicians to identify open problems and formulate ML objectives., and Build reproducible pipelines and iterate toward state-of-the-art solutions..

Successful candidates bring Research Acumen, Peer-reviewed Publications, and Scientific Writing. Important skills include Python, PyTorch, JAX, TensorFlow, Large-Scale Training, and Reinforcement Learning.

Skills & qualifications

RequiredNice to have

Skills

PythonPyTorchJAXTensorFlowLarge-Scale TrainingReinforcement LearningProgram SynthesisNeuro-Symbolic TechniquesHigher MathematicsAlgebraData AnalysisCombinatoricsLeanCoqIsabelleExperiment DesignScientific WritingPresentation AbilitiesCollaborationLeadershipCoaching

Qualifications

Track Record of Peer-Reviewed Publications

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.

Similar jobs, posted recently

Open roles like this one, listed in the last 30 days.

You've read the whole posting — now see how you match it.

Evaluate my fit