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