Axiommath
axiommath.ai
Actively hiring
View 1 job
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Jobs
Financials
Overview
The Starting Point for Reasoning.. Test verify_proof, extract theorems, and experiment with proof transformations in seconds.
News
Report
Report
Report
Technologies
Tech DNA
Python
PyTorch
TensorFlow
AI/ML
Python
JAX
PyTorch
Reinforcement Learning
TensorFlow
Stack modernity
76/100
How modern this stack is, based on technology relevance, AI adoption and the share of legacy tools.
In-demand technologies
Python
1 job
Required
Reinforcement Learning
1 job
Required
JAX
1 job
Required
TensorFlow
1 job
Required
PyTorch
1 job
Required
Salary medians are calculated from this company's open jobs and compared with the market.
Stack changes
TensorFlow
Aug 2026
Reinforcement Learning
Aug 2026
PyTorch
Aug 2026
Python
Aug 2026
JAX
Aug 2026
Technologies recently added to or removed from this company's stack - a signal of tech migrations and new initiatives.
Domyn
Intuitive
PNC Financial Services Group
NVIDIA
Alice & Bob
Argonne National Laboratory
Growth
Hiring Momentum
58/100
Growing
Open positions
1
0 opened / 0 closed in 30 days
ATS activity
Every ~3 days
08/29/2026
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
AI/ML
100% ▼
Activity Timeline
Added TensorFlow to stack
Aug 2026
Added Reinforcement Learning to stack
Aug 2026
Added PyTorch to stack
Aug 2026
Added Python to stack
Aug 2026
Added JAX to stack
Aug 2026
Jobs
Member of Technical Staff
5 days ago≈ $169k – $342k per year (Estimated) • In office • Full-Time
Python
JAX
PyTorch
Reinforcement Learning
TensorFlow
Apply