# Member of Technical Staff at Axiom Math

> Remote · United States · Staff · Software engineering · open. Source: https://alderhq.app/jobs/ashby%3Aaxiommath%3A03aafabc-4156-4ba2-bb71-280f704bbcb2 (read 2026-11-15).

## Facts (observed)

- Company: [Axiom Math](https://alderhq.app/companies/axiom-math)
- Location text: Palo Alto; US Remote; London; UK Remote; Portland
- Where it can be done from (inferred): Remote · United States (evidence: "Location: Palo Alto; US Remote; London; UK Remote; Portland")
- Posted: 2026-04-03 (225 days ago)
- First seen by alder: 2026-11-02 · last verified: 2026-11-09
- Reposted: 0 times · edited: 0 times
- Apply on the employer's site: https://jobs.ashbyhq.com/axiommath/03aafabc-4156-4ba2-bb71-280f704bbcb2
- Skills listed (inferred): Python, PyTorch, TensorFlow

## Pay and sponsorship

- Posted pay: not posted
- Market band for similar posted roles (SF Bay Area, n 1161): p25 $205k, median $240k, p75 $284k

## Description (the employer's text)

### 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.

---
Data: alder (https://alderhq.app). Cite https://alderhq.app/jobs/ashby%3Aaxiommath%3A03aafabc-4156-4ba2-bb71-280f704bbcb2 and the date you read it. Observed facts come from the employer's own listing; location reach, level, family and skills are inferences.