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.