Research Internship in Software Systems & Security (C2Rust)

IMDEA Software Institute

Location not specified

Posted: January 22, 2026

Job Description

Applications are invited for an exciting research internship in software systems and security with the MadriSec group (GitHub) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on building a toolchain that translates C code into safe Rust.

The intern will work at the intersection of compilers, systems, and security, building analyses and transformations that have real impact. The internship has a duration of minimum 6 months, and outstanding interns will be encouraged to apply for a fully funded PhD position.

Responsibilities include enhancing the tool itself, introducing new translation rules, developing and applying static analyses to C code, and experimentally evaluating the tool.

Who should apply?

Applicants must possess:

strong, demonstrable programming and tool-building skills (we ask that you provide links to repos, tools, compilers, projects, etc.).
experience in two or more of: C/C++, Rust, and LLVM/Clang (passes, IR, analyses).
a genuine passion for software security and systems research.
a BSc or MSc degree in Computer Science (or related) completed within the last three years (two years for non-EU citizens).

For students that are currently enrolled in an MSc program, the internship topic can serve as your Master’s thesis (with advisor coordination).

Why IMDEA Software?

Ranked among Europe’s leading research institutes in Computer Security, IMDEA Software offers:

A collaborative, international environment in Madrid’s Montegancedo Science & Technology Park.
Competitive salary, excellent public healthcare, unemployment and retirement benefits.
Travel support for research.
English as the working language (no Spanish required).
Dates

Start date: asap.

Application deadline: 13 February 2026.

Applications are reviewed immediately and until the position is filled.

How to apply?

Submit your application at https://careers.software.imdea.org/. Choose option Intern and use reference 2026-01-intern-c2rust.

The recruitment process follows IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment).

Questions?

Contact Georgios Portokalidis: .

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.