Post-doc openings at the IMDEA Software Institute, Madrid

The IMDEA Software Institute, Madrid, Spain invites applications for
up to two postdoc positions starting in September, 2019.

The general topic of the research project is to improve the software
reliability of modern on-board satellite software.

Selected candidates will collaborate with Cesar Sanchez, Alessandra
Gorla and Jose F. Morales and a team of researchers at the IMDEA
Software Institute with specialists in formal methods, runtime
verification, program analysis, software engineering and automated

Real satellite software will be provided by industrial partners in the
project to support the development and assess our research techniques.

** 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.

** Dates **

The position is intended for a minumum of 1 year and 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 using reference code
2019-06-postdoc-flight. Review of applications will begin immediately
and close when positions are filled.

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

Comments are closed.