IMDEA Software

Iniciativa IMDEA

Inicio > Ofertas de empleo > Internship in Static Analysis Methods for Accelerating Software Security Checks
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Internship in Static Analysis Methods for Accelerating Software Security Checks

Applications are invited for a intern position in systems security at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work with Dr. Georgios Portokalidis at IMDEA Software institute in Madrid towards building systems for increasing the security of systems software, that is, software written in low-level languages like C/C++. Specifically, the candidate will contribute on an existing project on decoupling security checks from software and running them in parallel. The primary responsibility of the candidate will be to develop novel static analysis methods on top of the LLVM compiler to reduce the number of checks and messages that need to be introduced to enforce memory safety checks in an inline and offloaded manner, respectively, without reducing the security guarantees offered.

Who should apply?

Ideal candidates are in their last year of (or have recently earned) a Master’s degree in Computer Science or Computer Engineering, have a strong commitment to research, are passionate about software engineering and computer security, enjoy coding, and have some experience and interest in the topic.

Good programming and tool building skills are required. Successful candidates will have experience developing software in C/C++, understand how such software is exploited, have good understanding of operating systems fundamentals, are comfortable with working on Linux, and have experience with static analysis through the LLVM toolchain.

Good command of English both spoken and written is also required.

Working at IMDEA Software

The IMDEA Software Institute is ranked among the best European research institutes in the area of Computer Security (8th on Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and an inspiring working environment.

The institute provides an internationally competitive stipend, access to an excellent public health care system, unemployment benefits, retirement benefits, and support for research related travel. The working language at the institute is English.


The position has a duration of 6 months. The starting date is 6th of January 2025 (little flexibility possible).

Deadline for applications is May 19th, 2024. Review of applications will begin immediately, and continue until the position(s) are filled.

How to apply?

Applicants interested in the position should submit their application at selecting option Intern and using reference code 2024-05-intern-llvm.

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