Barcelona Research Intern: AI for Science & Formal Methods (Castelldefels)

Barcelona Research Intern: AI for Science & Formal Methods (Castelldefels)

04 ago
|
SpeedyApply
|
Castelldefels

04 ago

SpeedyApply

Castelldefels

pAxiomatic AI invites a Research Intern to work at the intersection of formal methods, AI, and scientific reasoning in a Barcelona-area setting. You will engage with a integral team to advance AI for science and engineering and help build verification tools for mathematical formalization. /ppThe role emphasizes pioneering research on automated verification of scientific reasoning and architecting AI agents that navigate complex mathematical workflows. /p #J-18808-Ljbffr

📌 Barcelona Research Intern: AI for Science & Formal Methods (Castelldefels)
🏢 SpeedyApply
📍 Castelldefels

Postulate a este anuncio

Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: barcelona research intern: ai for science & formal methods (castelldefels) / castelldefels

Suscribete a esta alerta:

Recibe por email las nuevas ofertas de trabajo para: barcelona research intern: ai for science & formal methods (castelldefels) / castelldefels