IMDEA Software

IMDEA initiative

Home > Open Positions

PhD position in formal debugging and verification

Our research group at IMDEA Software is looking for a PhD candidate to carry out a PhD in new techniques for formal verification and debugging based on abstract interpretation.

Working at IMDEA Software

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.


Deadline for applications is August 10th, 2022. Review of applications will begin and be filled immediately.

How to apply?

Applicants interested in the position should submit their application at using reference code 2022-07-phd-clip.

For enquiries about the position, please contact josef dot morales at imdea dot org.