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. xugodme
Se pueden requerir diversas habilidades interpersonales y experiencia para el siguiente puesto. Por favor, asegúrese de consultar la descripción a continuación con atención.
The role emphasizes pioneering research on automated verification of scientific reasoning and architecting AI agents that navigate complex mathematical workflows.
📌 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.