




Resumen: Únase a un 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. Aspectos destacados: 1. Contribuir al desarrollo de procesadores para supercomputadoras europeas de vanguardia 2. Desarrollar funciones de comunicación en C embebido para procesos de verificación 3. Adquirir experiencia con metodologías avanzadas de verificación ##### **Acerca de SiPearl…** SiPearl es el diseñador europeo sin fábrica (fabless) de CPUs soberanas, seguras, de alto rendimiento y eficientes energéticamente para computación de alto rendimiento (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 mil millones de transistores, actualmente se encuentra en producción en TSMC. Las CPUs de SiPearl equiparán las dos primeras supercomputadoras exaescala europeas 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 las supercomputadoras europeas. 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 estrechamente 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: * Desarrollará **funciones de comunicación en C embebido (bare\-metal, sin sistema operativo)** para el equipo de verificación, permitiendo la comunicación entre procesos de verificación que se ejecutan en diferentes núcleos: + Planificará las **fases de desarrollo** del módulo de comunicación + Diseñará y **documentará los mecanismos de comunicación** + Implementará las **funciones de comunicación en C** + **Probará y validará** la comunicación entre los procesos de verificación ##### **¿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 campo relacionado * Conocimientos de **programación en C embebido** * Comprensión de **mecanismos de comunicación en chip / entre procesos** * Capacidad para trabajar con comodidad en un **entorno Linux (nivel de usuario)** * Familiaridad con **Git para control de versiones** * Buen dominio del **inglés escrito y hablado** para comunicaciones técnicas **Ubicación \-\> Castelldefels**


