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.