About this role
Member of Technical Staff at Axiom Math. Location: Palo Alto, California, United States. Role: Lead discovery, Collaborate researchers, Mentor researchers Requirements: Expert in machine learning for mathematical discovery; strong Python and ML frameworks; deep mathematics and formal proof systems; proven research track; mentorship. Category: Research and Development (R&D) Seniority: Senior Level Tools: Python, PyTorch, JAX, TensorFlow, Lean, Coq, Isabelle Commitment: Full Time Workplace: Onsite Languages: English