Internship – Research Intern (Formal Methods for Science)
Axiomatic-AI Inc.Job Description
Internship – Research Intern (Formal Methods for Science)
Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain
About us
Axiomatic AI is building a new class of AI systems designed to reason with the rigor of the scientific method. By combining deep learning with formal logic and physics-based modeling, we create verifiable, interpretable AI systems that collaborate with and support human researchers in high‑stakes scientific and engineering workflows.
Our mission, 30×30, is to deliver a 30× improvement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030.
We aim to revolutionize hardware design and simulation in these industries and are building a team of highly motivated professionals to bring these innovations from research into commercial products.
Position overview
We are looking for a Research Intern to work at the intersection of formal methods, AI, and scien...
Apply for this Job
Submit your application for the Internship – Research Intern (Formal Methods for Science) position at Axiomatic-AI Inc..
Apply Now Save for Later