[PRÁCTICAS] Desarrollo de protección de montón y pila para sistemas embebidos (sin sistema operativo)

Descripción

Resumen: Únase al equipo de verificación para garantizar la corrección funcional y la solidez de las IPs de procesador mediante metodologías avanzadas de verificación y contribuir al desarrollo y la ejecución de entornos de verificación. Puntos destacados: 1. Contribuir a la tecnología europea de supercomputación de vanguardia 2. Desarrollar e integrar mecanismos de protección de memoria 3. Trabajar con metodologías de verificación estándar en la industria ##### **Sobre SiPearl…** SiPearl es el diseñador europeo sin fábrica (fabless) de CPUs soberanas, seguras, de alto rendimiento y eficientes energéticamente para centros de supercomputación (HPC), inteligencia artificial (IA) y centros de datos. Estas CPUs ayudarán a abordar desafíos estratégicos en los ámbitos de la seguridad, la defensa, la investigación médica, la energía, el clima y la ingeniería, reduciendo al mismo tiempo su huella ambiental. El 25 de junio, SiPearl completó el diseño de la CPU más compleja jamás diseñada en Europa: Rhea1. Con 80 núcleos Arm Neoverse V1 y 61 000 millones de transistores, actualmente se encuentra en producción en TSMC. Las CPUs de SiPearl equiparán los dos primeros superordenadores exascala europeos pertenecientes a EuroHPC JU: Rhea1 se integrará en la máquina JUPITER, ubicada en Alemania, y Rhea2 formará parte de Alice Recoque en Francia. Incubada dentro del consorcio European Processor Initiative (EPI) y financiada inicialmente por la Unión Europea, SiPearl emplea a casi 200 personas en: * Francia (Maisons-Laffitte, Grenoble, Massy, Sophia Antipolis), * España (Barcelona) * e Italia (Bolonia) Tras una ronda Serie A de 130 millones de euros, la empresa ha lanzado su ronda Serie B. ##### **Misiones** SiPearl está desarrollando el procesador dedicado a los superordenadores europeos. En este contexto, usted se unirá al equipo de verificación para garantizar la corrección funcional y la solidez de las IPs de procesador mediante metodologías avanzadas de verificación. Trabajando en estrecha colaboración con los ingenieros de diseño, contribuirá al desarrollo y la ejecución de entornos de verificación basados en estándares industriales. Durante esta práctica usted: * Implementará **comprobaciones y protecciones básicas de memoria** para interrumpir las pruebas ante errores y acelerar la depuración * Planificará las **fases de desarrollo** del módulo de protección * **Documentará** los mecanismos de protección de memoria * **Desarrollará e integrará** las protecciones en el sistema embebido * **Probará y validará** las protecciones implementadas ##### **Qué le convierte en un buen candidato para este puesto** * Estudiante en el último año de una escuela de ingeniería o cursando un máster en electrónica, ingeniería informática o un campo relacionado * Conocimientos de **programación embebida en C** * Capacidad para trabajar cómodamente con **Linux (nivel de usuario)** * Familiaridad con **Git para control de versiones** * Buen dominio del **inglés escrito y hablado** Ubicación → Castelldefels