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.