Opportunity Description
A leading AI research firm based in Barcelona is seeking an Applied Researcher focused on Formal Methods for Physics.
Sea uno de los primeros solicitantes, lea la descripción completa del puesto a continuación y luego envíe su candidatura para que sea considerada.
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. xhfqzwm
Remote or hybrid options may be available.
#J-18808-Ljbffr
Sea uno de los primeros solicitantes, lea la descripción completa del puesto a continuación y luego envíe su candidatura para que sea considerada.
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. xhfqzwm
Remote or hybrid options may be available.
#J-18808-Ljbffr
Ready to Apply?
Submit your application for Applied Researcher: Formal Methods For Physics & Lean4 at Axiomatic_AI
Apply for this Position