Applications are now open for an exciting PhD position in software systems and security at the IMDEA Software Institute, located in Madrid, Spain.
Under the guidance of Dr. Georgios Portokalidis, selected candidates will embark on a journey to enhance the security of systems software. The research area encompasses developing robust techniques for transforming insecure C code to secure code in C and eventualyl Rust, potentially using machine learning or AI.
We are seeking candidates who have completed (or are in their final year of) 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 at least one of the aforementioned areas.
Applicants must possess strong programming and tool-building skills, with a proven track record of developing software in C/C++, a solid understanding of software exploitation, proficiency in 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 position will span the entire duration of the doctoral studies, with an ideal start date of 13th January 2025, offering some flexibility to accommodate individual circumstances.
The application deadline is Nov 20th, 2024. Review of applications will commence immediately and continue until the position(s) are filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2024-11-phd-c2rust.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For any inquiries regarding these positions, please reach out directly to Georgios Portokalidis ().
