The IMDEA Software Institute in Madrid, Spain, is offering an exciting internship opportunity in software security. This internship focuses on developing novel methodologies and systems for automatically transforming C software into more secure variants.
Under the supervision of Dr. Georgios Portokalidis, the selected candidate will contribute to improving the security of systems software, typically written in C/C++ and operating in both user and kernel space. The work will involve designing and implementing techniques to transform insecure C code into safer versions in C or Rust, potentially leveraging program analysis, instrumentation, and machine learning or AI-driven approaches. This internship provides an excellent opportunity to gain hands-on experience in cutting-edge security research while working in a dynamic and collaborative environment.
If you are passionate about software security and interested in contributing to state-of-the-art research, we encourage you to apply!
We are seeking candidates who hold a BSc and have completed, or are close to completing, a Master’s degree in Computer Science or a related discipline, demonstrating a deep commitment to research, a fervent interest in software engineering and computer security, proficiency in coding, and some prior experience and enthusiasm in the advertised research area.
Applicants must possess strong programming and tool-building skills, with experience developing software in C/C++, a solid understanding of software exploitation, good grasp of operating systems fundamentals, Linux familiarity, and a basic grasp of computer architectures like x86-64 and Aarch64. Experience with compiler toolchains, like Clang/LLVM, and Rust is preferable. Proficiency in English, both spoken and written, is essential.
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.
The starting date is 14th of April 2025 (little flexibility possible).
Deadline for applications is March 24th, 2025. Review of applications will begin immediately, and continue until the position(s) are filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ selecting option Intern and using reference code 2025-03-intern-crust.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For any questions about this positions, please contact directly Georgios Portokalidis ().
