Applications are invited to apply for up to two PhD positions at the IMDEA Software Institute, Madrid, Spain.
Selected candidates will work under the supervision of Alessandra Gorla (software engineering and automated testing), Jose Francisco Morales (compilers and program analysis) and Cesar Sanchez (formal methods and runtime verification).
The topic of the research is to improve the software reliability of modern on-board satellite software, in the context of model based engineering (Matlab/Simulink), combining proven techniques from software engineering and formal methods (such as (semi-)automated testing, program analysis, or runtime verification).
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).
PhD candidates should have an excellent MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in the above areas, and a strong commitment to research. Proven top programming skills as well as ability to understand and develop algorithms are required. Good teamwork and communication skills, including excellent spoken and written English, are also required.
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 duration of the position is intended to be for the duration of the doctoral studies. The ideal starting period is September 2019.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/phd/2019-06-phd-flight/. 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) imdea.org, alessandra.gorla (at) imdea.org or josef.morales (at) imdea.org