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.
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:
Solid programming skills will be highly valued. The position requires good teamwork and communication skills, including excellent spoken and written English.
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.
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.
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).
For any questions about these positions, please contact Marco Guarnieri ().
