Applied Researcher: Formal Methods for Physics & Lean4

Axiomatic_AI • barcelona, cataluña, Spain • Posted June 08, 2026

Location barcelona, cataluña

Job Type Full-time

Category Otros

Posted June 08, 2026

                A leading AI research firm based in Barcelona is seeking an Applied Researcher focused on Formal Methods for Physics. The candidate will develop formal verification tools, manage data curation, and collaborate with a cross-functional team. Ideal applicants should have a Master’s degree in Mathematics or a related field and experience with Lean4. This role offers opportunities for professional growth, competitive compensation, and a diverse work culture. Remote or hybrid options may be available.
#J-18808-Ljbffr
            

Interested in this role?

Click the button below to start your application.

Apply Now