12 ago
|
SpeedyApply
|
Castelldefels
12 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.
¿Listo para inscribirse? Antes de hacerlo, asegúrese de leer todos los detalles pertenecientes a este trabajo en la descripción a continuación.
You will engage with a general team to advance AI for science and engineering and help build verification tools for mathematical formalization. xqbhyrx
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