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

Axiomatic 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 general team to advance AI for science and engineering and help build verification tools for mathematical formalization.The role emphasizes pioneering research on automated verification of scientific reasoning and architecting AI agents that navigate complex mathematical workflows.#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