PhD student position in supervision of autonomous software systems, Utrecht (The Netherlands)

Modern software systems operate in increasingly dynamic settings and therefore need flexible and adaptive requirement models. In general, the requirements of software systems are in constant motion due to their continuously changing environments. The PhD project concerns the creation of an adaptive runtime supervision framework that continuously monitors the execution of software systems, evaluates their behavior against the current requirements, and intervenes by deciding which requirements should be added, ignored or weakened.

The two main pillars of the envisioned approach are that:
1. accurate requirement models can be obtained only at runtime and through learning;
2. requirement revision, including requirement approximation, is preferred over system adaptation.
The project will be conducted under the joint supervision of Dr. Fabiano Dalpiaz (Software Systems) and Dr. Mehdi Dastani (Intelligent Systems).

The application deadline is October 2, 2016. For more information, see http://www.uu.nl/en/organisation/working-at-utrecht-university/jobs. Additional information about the vacancy can be obtained from: Dr. Fabiano Dalpiaz: f.dalpiaz at uu.nl.