Postdoc position: Testing and verification for security at the hardware-software interface

by Marco Guarnieri, Feb. 28, 2023

Applications are invited for one postdoctoral researcher position to work at the intersection of computer security and verification at the IMDEA Software Institute (Spain).

Deadline March 31, 2023

Applications are invited for one postdoctoral researcher position at the IMDEA Software Institute (Madrid, Spain).

The selected candidate will work with Marco Guarnieri on developing tools and techniques for detecting and preventing side-channel and micro-architectural attacks.

The specific topic of the research will be determined based on the common interests of the candidate and the supervisor.

Who should apply?

Ideal candidates have earned (or are close to earning) a PhD in Computer Science or a related area with a promising publication record and experience in at least one of the following areas:

  • Computer security
  • Computer architectures
  • Program analysis and verification
  • Formal methods
  • 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.


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

Deadline for applications is March 10th, 2023. Review of applications will begin immediately, and continue until the positions are filled.

How to apply?

See instructions at


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