Applications are invited for an exciting research internship in software systems and security with the MadriSec group (GitHub) at the IMDEA Software Institute. You will work closely with Prof. Georgios Portokalidis on building a toolchain that translates C code into safe Rust.
You will work at the intersection of compilers, systems, and security, building analyses and transformations that have real impact. Strong interns will be invited to apply for a fully funded PhD.
Responsibilities include evolving the tool itself, introducing new translation rules, developing and applying static analyses to C code, and experimentally evaluating the tool.
Applicants must possess:
For students that are currently enrolled in an MSc program, the internship topic can serve as your Master’s thesis (with advisor coordination).
Ranked among Europe’s leading research institutes in Computer Security, IMDEA offers:
Start date: flexible within the next 6 months.
Application deadline: 13 October 2025.
Applications are reviewed immediately and until filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ Choose option Intern and use reference code 2025-09-intern-c2rust.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
Contact Georgios Portokalidis: .
