Phd Student in System Security - Madrid, España - IMDEA Software Institute

IMDEA Software Institute

Empresa verificada

Madrid, España

hace 2 semanas

Publicado por:

Isabel García

beBee Recruiter

Descripción

Applications are invited for one PhD student position in at the IMDEA Software Institute, Madrid, Spain.

Some potential research topics are the following:

CPU fuzzing for information leaks (both black-box on silicon-CPUs and white-box on RTL designs)
Symbolic execution for detecting microarchitectural leaks in programs
Secure compilation techniques for preventing microarchitectural attacks

Who should apply?:

Computer Security
Testing and Fuzzing
Computer architectures
Program analysis and verification
Formal methods and logics

Solid programming skills will be highly valued. The position requires good teamwork and communication skills, including excellent spoken and written English.

Working at IMDEA Software:

The IMDEA Software Institute is ranked among the best European research institutes in the areas of Programming Languages and Computer Security.

Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and 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. Knowledge of Spanish is not required.

Dates:

The duration of the position is intended to be for the duration of the doctoral studies. The ideal starting period is from May 2023.

How to apply?:

For any questions about these positions, please contact Marco Guarnieri (marco dot guarnieri at imdea dot org).