Applied Researcher in Formal Methods for Physics

Applied Researcher in Formal Methods for Physics

Barcelona, Spain

Overview

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 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 motivated professionals to bring innovations from research into commercial products.

Position overview:

As an Applied Researcher specializing in Formal Methods for Physics, you will join a focused team, playing a key role in building new formal verification tools for science and engineer...