Axiommath
1 open job
Member of Technical Staff
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.,