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:

As an AI Research Scientist with focus on scientific reasoning, you will join a focused team, playing a key role in building new techniques for enabling reliable and trustworthy AI applications for science and engineering. Your responsibilities will include developing formal and informal verification pipelines for scientific reasoning, data analysis and curation,



conducting systematic benchmarking to evaluate performance, analyze design flaws and propose solutions. Close collaboration with our dedicated cross-functional team, consisting of Mathematicians, AI Engineers, Software Engineers, Lean4 developers, Physicists and AI scientists, will be essential to the success of the project.

Your mission:
- Project contribution and technical execution: Play an active role in designing and developing formalization and validation strategies specifically tailored for scientific applications.
- Innovation & continuous learning: Stay updated with state-of-the-art techniques and advancements in the field. Continuously integrate the latest research and technologies to enhance the products’ impact.
- Cross-team collaboration: Work closely with AI and development teams to ensure seamless integration of solutions. Promote open communication and cooperation to enhance productiv

📌 AI Research Scientist (Barcelona)
🏢 Axiomatic-AI
📍 Barcelona