[INTERNSHIP] Heap & Stack Protection Development for Embedded Systems (No OS)

Description

Summary: Join the verification team to ensure functional correctness and robustness of processor IPs through advanced verification methodologies and contribute to developing and executing verification environments. Highlights: 1. Contribute to cutting-edge European supercomputer technology 2. Develop and integrate memory protection mechanisms 3. Work with industry-standard verification methodologies ##### **About SiPearl…** SiPearl is the European fabless designer of sovereign secure high\-performance energy\-efficient CPUs for HPC, AI and data centres. These CPUs will help address strategic challenges in the fields of security, defence, medical research, energy, climate and engineering with a reduced environmental footprint. In June 25, SiPearl completed the design of the most complex CPU ever designed in Europe, Rhea1\. Featuring 80 Arm Neoverse V1 cores, with 61 billion transistors, it is currently in production at TSMC. Sipearl CPUs will equip the two first European exascale supercomputers belonging to EuroHPC JU: Rhea1 will be integrated into the JUPITER machine based in Germany and Rhea2 will be part of Alice Recoque in France. Incubated within the European Processor Initiative (EPI) consortium and seed\-funded by the European Union, SiPearl employs almost 200 people in : * France (Maisons\-Laffitte, Grenoble, Massy, Sophia Antipolis), * Spain (Barcelona) * and Italy (Bologna) Following a €130 million Series A, the company has launched its Series B round. ##### **Missions** SiPearl is developing the processor dedicated to European supercomputers. In this context, you will join the verification team to ensure the functional correctness and robustness of processor IPs through advanced verification methodologies. Working closely with design engineers, you will contribute to the development and execution of verification environments based on industry standards. In this internship you will: * Implement **basic memory checks and protections** to abort tests on errors and accelerate debugging * Plan the **development phases** of the protection module * **Document** the memory protection mechanisms * **Develop and integrate** the protections in the embedded system * **Test and validate** the implemented protections ##### **What makes you a good match for the role** * Student in the final year of an engineering school or pursuing a Master's degree in electronics, computer engineering, or a related field * Knowledge of **embedded C programming** * Comfortable with **Linux (user level)** * Familiarity with **Git for version control** * Good **written and spoken English** **Location \-\> Castelldefels**