Internship – Research Intern (AI for Scientific Reasoning)

Axiomatic_AI

Castelldefels (Barcelona)

Activa - Comprobada hace 13h

Tipo de Contrato: Prácticas

Jornada Laboral: Completa

Modalidad: Presencial

€

Salario anual bruto: No especificado

Años de experiencia: No especificado

Nivel Educativo: Doctorado

Idiomas: Castellano

Descripción del puesto

Puesto de prácticas técnicas en IA para razonamiento científico, enfocado en la verificación de razonamiento y herramientas de formalización. Sin mencionar empresa ni beneficios.
- Diseñar y mejorar herramientas de razonamiento formal, como búsqueda de bibliotecas, recuperación de teoremas y asistentes de formalización.
- Explorar aplicaciones de Lean metaprogramming u otras herramientas de métodos formales.
- Arquitectar pipelines de verificación para derivaciones de ecuaciones complejas, estableciendo la intersección entre IA y física.

- Cursando PhD (preferente) o máster avanzado en Informática, Inteligencia Artificial, Matemáticas o Física.
- Fuerte dominio de Python y experiencia en IA/ML (agente IA, recuperación de conocimiento, grafos, LLMs, deep learning).
- Habilidades de investigación, análisis y capacidad para trabajar de forma independiente con buena comunicación.

Más ofertas de Informática / Tecnología en Barcelona