Spain Job Openings

IMDEA Software Institute

PhD Student in hardware testing and verification for security

November 27, 2024

Applications are invited for one Ph D student position in at the IMDEA Software Institute, Madrid, Spain.
Selected candidates will work under the supervision of Marco Guarnieri.
The Ph D position is in system security with a focus on testing and verification for security properties. The specific topic of the research will be determined based on the common interests of the candidate and the supervisor.
Some potential research topics are the following:

CPU fuzzing for information leaks (both black-box on silicon-CPUs and white-box on RTL designs)
CPU verification against microarchitectural attacks
Automated generation of exploits and defenses for microarchitectural attacks

Who should apply?

Ideal candidates have earned (or are in their last year of) a Master’s degree in Computer Science, Computer Engineering, or Mathematics, with experience in at least one of the following areas:

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 February 2025.
Deadline for applications is December 20th, 2024. Review of applications will begin immediately, and continue until the positions are filled.

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ selecting option Ph D Student and reference code 2024-11-phd-uarchsec.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.

Questions

For any questions about these positions, please contact Marco Guarnieri ().

New Job Alerts

Pre-Sales Engineer

FULL TIME

December 4, 2024

View Job Description

All We Wear Group

Senior Graphic Designer - Pepe Jeans Madrid (Temporary)

Madrid

December 4, 2024

View Job Description

Kenvue

Key Account Manager - FMCG

Madrid

December 4, 2024

View Job Description

RPP Group

Visiting Student - Internship

Madrid

November 29, 2024

View Job Description

Fundación IMDEA Networks

December 4, 2024

View Job Description

All We Wear Group

Senior Graphic Designer - Pepe Jeans Madrid (Temporary)

Madrid

December 4, 2024

View Job Description

Kenvue

Key Account Manager - FMCG

Madrid

December 4, 2024

View Job Description

PROMAN Spain

Auxiliar Administrativo de Logística (H/M)

FULL TIME

December 4, 2024

View Job Description

Santander

Technical Specialist

Boadilla del Monte

FULL TIME

December 4, 2024

View Job Description