[fg-arc] PhD openings at the IMDEA Software Institute

[Cesar Sanchez]

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

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 artifacts produced.
This project is in the context of the recently funded project "Madrid
Flight on Chip" (MFOC).

** Who should apply? **

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.

** 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 internship duration is intended to be for the duration of the
doctoral studies. The ideal starting period is starting in September
2019.

** How to apply? **

Applicants interested in the position should submit their application
at https://careers.software.imdea.org/ using reference code
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