22 ago
|
SpeedyApply
|
Castelldefels
22 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 integral 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, Cataluña, Spain
🏢 SpeedyApply
📍 Castelldefels