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...
Apply for this Position
Ready to join Axiomatic_AI? Click the button below to submit your application.
Submit Application