Axiomatic AI logoAxiomatic AI logo

Research Internship – AI for Scientific Reasoning

Axiomatic AIBoston, US / Toronto, Canada / Castelldefels (Barcelona), Spain
On-site Internship

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Entry Level

Qualifications

Key Requirements Pursuing a PhD (preferred) or an advanced Master’s degree in Computer Science, Artificial Intelligence, Mathematics, Physics, or a related field. Strong proficiency in Python is essential. Background in one of the following areas: AI / machine learning (including agentic AI, knowledge retrieval, graphs, LLMs, deep learning, etc.) AI applications in science, particularly in physics and other mathematically rigorous domains. Research Engineering or Software Engineering experience. Exceptional problem-solving skills and ability to work collaboratively in a team-oriented environment.

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

About Axiomatic AI

Axiomatic AI is at the forefront of developing AI systems that adhere to the principles of scientific reasoning. Our goal is to enable substantial advancements in semiconductor and photonic hardware development, and we are committed to assembling a talented team that will drive this change from innovative research to real-world applications.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.