IMDEA Software

IMDEA initiative

Home > Open Positions

PhD position in analysis and verification of numeric errors

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

Selected candidates will work under the supervision of Manuel Hermenegildo, José Francisco Morales and Alessandra Gorla.

The candidate will perform research related to the development of techniques and prototypes for the combined static and dynamic program analysis and verification of numerical errors in code of industrial interest based on the approach of abstract interpretation, including advances in the basic abstract interpretation techniques and prototypes.

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.

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

Working at IMDEA Software

The position is based in Madrid, Spain where the IMDEA Software Institute is situated. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.


The ideal starting period is from mid-October 2021 and the deadline for applications is September 30.

How to apply?

Applicants interested in the position should submit their application at using reference code 2021-09-phd-analysis.