Job Description

A leading AI research firm located in Barcelona is searching for an Applied Researcher focused on formal methods in physics. In this role, you will develop and maintain Lean4 libraries and assess code for formalization while collaborating with a cross-functional team. A Master’s degree and 1-2 years of relevant experience are required, alongside a strong foundation in applied methods and programming skills. The firm offers competitive compensation, flexible working arrangements, and opportunities for professional growth.
#J-18808-Ljbffr

Apply for this Position

Ready to join Axiomatic_AI? Click the button below to submit your application.

Submit Application