Resumen: Únase al equipo de verificación para garantizar la corrección funcional y la solidez de los IPs de procesadores mediante metodologías avanzadas de verificación y desarrolle funciones de comunicación en C embebido para procesos de verificación. Puntos destacados: 1. Contribuir a metodologías avanzadas de verificación para IPs de procesadores 2. Desarrollar funciones de comunicación en C embebido para procesos de verificación 3. Trabajar estrechamente con ingenieros de diseño en verificaciones según estándares industriales ##### **Sobre SiPearl…** SiPearl es el diseñador europeo sin fábrica (fabless) de CPUs soberanas, seguras, de alto rendimiento y eficientes energéticamente para supercomputación de alto rendimiento (HPC), inteligencia artificial (IA) y centros de datos. Estas CPUs contribuirá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. Dotada de 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 exaescala 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 los IPs de procesadores 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 distintos 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 un 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**, necesario para la comunicación técnica **Ubicación → Castelldefels**