IMDEA Software

IMDEA initiative

Home > Open Positions

Postdoc Aerospace Software Analysis and Testing

The IMDEA Software institute offers a post-doc position on program analysis and software testing. Selected candidates will work in an exciting project building program analysis techniques for actual aerospace on-board software, together with a team of researchers from IMDEA, including Alessandra Gorla, José Francisco Morales, César Sánchez and Fernando Macías.

The goal of the project is:

Real software is provided by the industrial partners in the project, who will also validate the techniques and artifacts produced. This project is in the context of the project Madrid Flight on Chip" (MFOC).

Who should apply?

Applicants should have a PhD in computer science with proven top programming and problem solving skills. We will value experience in the following fields: software engineering; program analysis, design and implementation; formal methods; model-based engineering.

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.


The position has a duration of 2 years from july 2020. The ideal starting period is the beginning of the Summer 2020.

How to apply?

Applicants interested in the position should submit their application at using reference code 2020-04-postdoc-flight. Deadline for applications is June 15th, 2020. Review of applications will begin immediately.

For enquiries about the position, please contact: cesar.sanchez (at), alessandra.gorla (at) or josef.morales (at)