Applied Formal Methods Engineer for Physics AI

Axiomatic-AI Inc. in Barcelona is seeking an Applied Researcher in Formal Methods for Physics, tasked with developing formal verification tools for scientific AI applications. The ideal candidate holds a Master's degree, has 1-2 years of related experience, and possesses strong formal methods expertise. A collaborative mindset, curiosity, and ability to thrive in a fast-paced environment are essential. Enjoy competitive compensation, stock options, and opportunities for professional growth, in a culture focused on impactful innovations.
#J-18808-Ljbffr