Axiom Math
Open positions
1 job
8 views 7 months ago
Member of Technical Staff
Open 54d On-siteNorth America
United States
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…
AI Deep Learning JAX Machine Learning Python +3 skills