Applied Researcher: Formal Methods for Physics & Lean4

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