About the job
About Axiomatic AI
Axiomatic AI builds AI systems that bring the rigor of the scientific method to reasoning. By combining deep learning, formal logic, and physics-based modeling, the team develops interpretable and verifiable AI tools designed to support human researchers in scientific and engineering tasks.
The company's 30×30 mission targets a 30-fold increase in the speed, affordability, and accessibility of semiconductor and photonic hardware development by 2030. This vision drives efforts to reshape hardware design and simulation, moving research breakthroughs toward real-world products.
Research Internship Overview
This Research Internship centers on the intersection of AI, formal methods, and scientific reasoning. The role suits PhD candidates interested in advancing AI for science and engineering, especially those who want to build tools that verify scientific results.
Interns will focus on research into automated verification of scientific reasoning. Projects may include developing AI agents for complex mathematical formalization, designing knowledge retrieval systems, and exploring both formal and informal verification workflows.
What You Will Do
- Develop tools for formal reasoning, such as improved library search, theorem retrieval, and formalization assistants.
- Explore Lean metaprogramming or related formal methods tools for scientific applications.
- Create verification pipelines for complex equation derivations, connecting AI and physics.
- Work with researchers to define a focused project that advances internal capabilities and research understanding.
- Conduct scientific research suitable for publication at leading conferences (ICLR, ICML, NeurIPS) or contribute to major open source initiatives.
Locations
Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain
