Openings

Research Topics

I am looking for people to work with me in developing novel methodologies and systems for increasing the security of systems software, that is, software written in low-level languages like C/C++ that operates in user or kernel space. Accepted candidates will work on one or multiple of the following problems: (i) develop techniques to harden software against exploitation of vulnerabilities, (ii) isolate software components to compartmentalize execution and data, (iii) develop hardware accelerators for security applications using FPGAs, and (iv) transform C/C++ programs to Rust. The candidates may work on binary software or source code leveraging compilers toolchains, like Clang/LLVM.

Required Skills

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 a basic understanding of computer architectures, like x86-64 and Aarch64.

The working language of the Institute is English. Full command of the English language is required.

Positions

PhD positions

Applications are invited for PhD students in software systems and security at the IMDEA Software Institute, Madrid, Spain.

Who should apply?

Successful candidates have obtained (or are close to obtaining) a master or undergraduate degree in Computer Science or a closely related area and have strong interest in the research topics listed above.

Candidates holding fellowships, scholarships, or any other study grants from national or international public or private institutions are also welcome to apply as PhD students. The IMDEA Software Institute aims to achieve fair employment conditions by matching existing grants with internal funds and equipment.

Dates

The positions will cover the whole duration of the doctoral studies. Start date is flexible.

How to apply?

If you are interested drop me an email and submit an application using one of the following links:

Internships

Applications are invited for interns in software systems and security at the IMDEA Software Institute, Madrid, Spain.

Who should apply?

Successful candidates have obtained (or are close to obtaining) an undergraduate or master degree in Computer Science, or a closely related area, and have strong interest in the research topics listed above.

Candidates can also complete their MS thesis at the institute, assuming their home institution allows that.

Dates

The positions have a duration of 6 months. Start date is flexible.

How to apply?

If you are interested drop me an email and submit an application:

Postdocs

Applications are invited for a postdoctoral researcher in software systems and security at the IMDEA Software Institute, Madrid, Spain.

Who should apply?

Candidates should have a PhD in Computer Science or a related area and a promising publication record, and an agenda of research interests in topics related to the ones listed above.

Dates

The position has a duration of 1-2 year(s) with the possibility of renewal. Start date is flexible.

How to apply?

If you are interested drop me an email and submit an application:

Working at IMDEA Software

The IMDEA Software Institute is ranked among the best European research institutes in the area of Computer Security (checkout csrankings.org). 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/salary, 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. Knowledge of Spanish is not required.