Job Description

A leading AI innovation firm in Barcelona seeks an Applied Researcher specializing in Formal Methods for Physics. In this role, you will develop formal verification tools, collaborate with a cross-functional team of experts, and manage data curation and benchmarking tasks. Candidates should have a Master’s degree in relevant fields and experience in applied formal methods, particularly Lean4. This position offers competitive compensation, flexible work arrangements, and opportunities for professional growth.
#J-18808-Ljbffr

Apply for this Position

Ready to join Axiomatic-AI Inc.? Click the button below to submit your application.

Submit Application