💼 Full-Time Position

Applied Researcher in Formal Methods for Physics

🏢
Axiomatic_AI
📍 barcelona, cataluña, Spain
📍
Location
barcelona, Spain
📅
Posted
June 04, 2026
Type
Full-Time
🎯

Full-Time Opportunity: This is a permanent, full-time position with a competitive package and real career growth potential.

Job Description

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.

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...