Research Internship in Microarchitectural Security

Description

Summary: This research internship focuses on developing example-based synthesis approaches for program-level models of speculative leaks under Dr. Marco Guarnieri's supervision. Highlights: 1. Work on cutting-edge research in computer security. 2. Join a dynamic and inspiring research environment. 3. Collaborate on innovative program analysis and verification techniques. Applications are invited for a research internship at the IMDEA Software Institute, located in Madrid (Spain). Selected candidates will work under the supervision of Dr. Marco Guarnieri. The internship will focus on the development of example\-based synthesis approaches for the construction of program\-level models of speculative leaks. **Who should apply?** --------------------- Ideal candidates should be final year bachelor/master students in Computer Science, Computer Engineering, or Mathematics with an interest in the aforementioned research topic. Experience in the following areas is a plus: * Computer Security * Computer Systems * Machine Learning * Program analysis and verification * Formal methods and logics Solid programming skills will be highly valued. The position requires good teamwork and communication skills, including excellent spoken and written English. **Working at IMDEA Software** ----------------------------- Ranked among Europe’s top research institutes in Computer Security, the IMDEA Software Institute offers a dynamic and inspiring research environment nestled within the Montegancedo Science and Technology Park. Set against the backdrop of Madrid’s vibrant cityscape, the institute provides an internationally competitive stipend, access to excellent public healthcare, unemployment benefits, retirement benefits, and support for research\-related travel. English is the primary working language, and knowledge of Spanish is not required. ### **Dates** The internship duration is intended to be for 6 months. The ideal starting date is March 1st, 2026\. Deadline for applications is **February 20th, 2026**. Review of applications will begin immediately, and continue until the positions are filled. ### **How to apply?** Applicants interested in the position should submit their application at https://careers.software.imdea.org/ selecting option **Internship** and reference code **2026\-02\-intern\-hwsec**. The recruitment process will comply with the IMDEA Software Institute’s OTM\-R Policy (Open, Transparent and Merit\-based Recruitment). ### **Questions** For any questions about these positions, please contact Marco Guarnieri ().