Research Intern: AI for Scientific Reasoning

Axiomatic_AI; Barcelona; Presencial; EUR 13.392 - 20.088; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Relocation support

Mentorship from multidisciplinary experts

Paid internship

Descripción de la vacante

Axiomatic_AI in Barcelona is seeking a Research Intern focused on formal methods, AI, and scientific reasoning. This paid internship offers hands-on experience in pioneering research on automated verification for scientific processes. The ideal candidate is pursuing a PhD or advanced degree in relevant fields and has strong Python proficiency. Interns will collaborate closely with experts and may transition to full-time opportunities. Relocation support is available, and candidates must be on-site at the office in Barcelona.

Formación

• Currently pursuing a PhD or advanced Master’s degree in a relevant field.
• Background in AI for science, especially in physics.
• Experience with open-ended technical problems.

Responsabilidades

• Contribute to tooling for formal reasoning.
• Explore applications of Lean metaprogramming.
• Architect verification pipelines for equation derivations.
• Work closely with researchers on meaningful projects.
• Conduct high-quality scientific work for publications.

Conocimientos

Strong proficiency in Python

Research Engineering / Software Engineering

AI / machine learning

Strong research skills

Analytical and communication skills

Ability to work independently

Comfort working in a fast-paced setting

Educación

PhD or Master's degree in Computer Science, AI, Mathematics, Physics

Descripción del empleo

Axiomatic_AI in Barcelona is seeking a Research Intern focused on formal methods, AI, and scientific reasoning. This paid internship offers hands-on experience in pioneering research on automated verification for scientific processes. The ideal candidate is pursuing a PhD or advanced degree in relevant fields and has strong Python proficiency. Interns will collaborate closely with experts and may transition to full-time opportunities. Relocation support is available, and candidates must be on-site at the office in Barcelona.