+233 50107 3889 admin@ghscientific.com

Blog Details

  • Home / Upcoming / PhD Student in…
PhD Student in testing and verification of microarchitectural defenses

PhD Student in testing and verification of microarchitectural defenses

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

Selected candidates will work with Marco Guarnieri on the testing (specifically fuzzing) and verification of hardware-level defenses against microarchitectural 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 in their last year of) a Master’s degree in Computer Science, Computer Engineering, or Mathematics, with experience and interest in at least one of the following areas:

  • Computer security
  • Testing (and fuzzing in particular)
  • 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.


The duration of the position is intended to be for the duration of the doctoral studies. The ideal starting period is summer/fall 2021.

Deadline for applications is April 30th, 2021. 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 5 – PhD Student and using reference code 2021-04-phd-uarchsec-testing.

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

Source: software.imdea.org

Leave a Reply

Your email address will not be published. Required fields are marked *