Applied Researcher in Formal Methods for Physics

📋 Description

• • As an Applied Researcher in Formal Methods for Physics at Axiomatic AI Inc., you will play a key role in building new formal verification tools for science and engineering by combining deep learning with formal logic and physics-based modeling to create verifiable, interpretable AI systems that support human researchers in high-stakes scientific workflows.
• • Your day-to-day responsibilities will include assessing Lean4 code for formalization and proof correctness, writing and maintaining in-house Lean4 libraries, curating datasets, running benchmarks to evaluate performance, analyzing reasoning flaws, and proposing solutions while collaborating closely with a cross-functional team of Lean experts, mathematicians, physicists, AI researchers, and software engineers.
• • Axiomatic AI is building a new class of AI systems designed to reason with the rigor of the scientific method, with a mission to deliver a 30× improvement in the speed, accessibility, and cost of semiconductor and photonic hardware development by 2030, and is based in Barcelona, Spain, with openness to remote or hybrid arrangements for the right candidate.
• • In this role, you will deepen your expertise in formal methods and Lean4, contribute to cutting-edge AI systems for scientific reasoning, publish and present research findings, and grow professionally through engagement with the global AI research community while working on impact-driven projects that bridge AI, physics, and hardware innovation.