**
Axiomatic AI is seeking an Applied Researcher in Formal Methods for Physics to join their Barcelona-based team. The role involves developing formal verification tools, collaborating with a multidisciplinary team, and contributing to innovative AI solutions for hardware development.
**
Job Summary
Axiomatic AI is building a new class of AI systems designed to reason with the rigor of the scientific method.
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 engineering.
**
Axiomatic AI is seeking an Applied Researcher in Formal Methods for Physics to join their Barcelona-based team. The role involves developing formal verification tools, collaborating with a multidisciplinary team, and contributing to innovative AI solutions for hardware development.
**
Skills & Requirements
Must-have
applied formal methods
automated theorem proving
Lean4 development
physics-based modeling
AI pipeline integration
Nice-to-have
proactive, solution-oriented mindset
thrive in ambiguity
passion for AI
contributions to open-source projects
Key Requirements
Master’s degree in Mathematics, Physics, Computer Science, AI or related field