Applications are invited for multiple research intern positions at the IMDEA Software Institute, Madrid, Spain.
Selected candidates will work under the supervision of Marco Guarnieri on the design, verification, and implementation of countermeasures against CPU micro-architectural attacks.
The particular topic of the research will be determined based on common interests of the candidate and the supervisor, and it can be either theoretical or practical.
The positions are partially funded by a research grant from Intel Corporation.
Ideal candidates should be final year bachelor or master students in Computer Science, Computer Engineering, or Mathematics with an interest in the aforementioned research topic.
Experience in one or more of 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.
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 working environment.
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 spring/summer 2020.
Deadline for applications is February 1st, 2020. 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 Intern and reference code 2020-01-intern-uarchsec.
For any questions about these positions, please contact Marco Guarnieri directly ().
Deadline for applications is February 1st, 2020. Review of applications will begin and be filled immediately.
