IMDEA initiative

Home > Open Positions

Postdoc Aerospace Satellite Software Reliability

Applications are invited to apply for up to two postdocs positions at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work in a joint project with the teams of Alessandra Gorla (software engineering and automated testing), Jose Francisco Morales (program analysis) and Cesar Sanchez (formal methods and runtime verification).

The general topic of the research is to improve the software reliability of modern on-board satellite software, including:

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

Who should apply?

Applicants should have a PhD in computer science with proven top programming skills as well as experience in software engineering, program analysis or formal methods. Expertise in model based engineering (Matlab/Simulink) and implementation of program analysis infrastructures (LLVM, etc) will be highly valued as well.

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 is intended to be for up to 3 years. The ideal starting period is September 2019.

How to apply?

Applicants interested in the position should submit their application at Review of applications will begin immediately and close when positions are filled or on August 31, 2019.

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