Research Internship in Microarchitectural Security

IMDEA Software Institute

Location not specified

Posted: February 12, 2026

Job Description

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 ().

Why Apply Through MisuJob?

AI-Powered Job Matching: MisuJob uses advanced artificial intelligence to analyze your skills, experience, and career goals. Our matching algorithm compares your profile against thousands of job requirements to find positions where you have the highest chance of success. This saves you hours of manual job searching and ensures you only see relevant opportunities.

One-Click Applications: Once you create your profile, applying to jobs is effortless. Your resume and cover letter are automatically tailored to highlight the most relevant experience for each position. You can apply to multiple jobs in minutes, not hours.

Career Intelligence: Beyond job matching, MisuJob provides valuable career insights. See how your skills compare to market demands, identify skill gaps to address, and understand salary benchmarks for your experience level. Make data-driven decisions about your career path.

Frequently Asked Questions

How do I apply for this position?

Click the "Register to Apply" button above to create a free MisuJob account. Once registered, you can apply with one click and track your application status in your dashboard.

Is MisuJob free for job seekers?

Yes, MisuJob is completely free for job seekers. Create your profile, get matched with jobs, and apply without any cost. We help you find your dream job without any hidden fees.

How does AI matching work?

Our AI analyzes your resume, skills, and experience to understand your professional profile. It then compares this against job requirements using natural language processing to calculate a match percentage. Higher matches mean better fit for the role.

Can I apply to jobs in other countries?

Absolutely. MisuJob features jobs from companies worldwide, including remote positions. Filter by location or look for remote opportunities to find jobs that match your preferences.

Ready to Apply?

Join thousands of job seekers using MisuJob's AI to find and apply to their dream jobs automatically.