Internship in microarchitectural security
Applications are invited for a research intern position at the IMDEA Software
Institute, Madrid, Spain.
Selected candidates will work under the supervision of Marco Guarnieri.
The internship will focus on security at the hardware-software interface. The
specific topic of the research will be determined based on the common
interests of the candidate and the supervisor.
Who should apply?
Ideal candidates should be final year master students in Computer Science,
Computer Engineering, or Mathematics with an interest in the aforementioned
Experience in the following areas is a plus:
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
Working at IMDEA Software
The IMDEA Software Institute is ranked among the best European research
institutes in the areas of Programming Languages and Computer Security.
Located in the Montegancedo Science and Technology Park, it perfectly combines
the sunny and vibrant city of Madrid with cutting edge research and inspiring
The institute provides an internationally competitive stipend, access to an
excellent public health care system, unemployment benefits, retirement
benefits, and support for research related travel. The working language at the
institute is English. Knowledge of Spanish is not required.
The internship duration is intended to be for 4-6 months (with some
flexibility). The ideal starting period is from September 2022.
Deadline for applications is July 15th, 2022. Review of applications will
begin immediately, and continue until the position is filled.
How to apply?
Applicants interested in the position should submit their application at
https: // careers.software.imdea.org/ using reference code 2022-06-intern-
For any questions about these positions, please contact Marco Guarnieri
directly (marco dot guarnieri at imdea dot org).