Personal tools
You are here: Home Vacancies
Log in

Forgot your password?


Opening of Ph.D. Positions

As part of the international collaboration CMU|Portugal, the Department of Informatics Engineering at the University of Coimbra has an opening in the domain of assurances for self-adaptive software systems. This international project is funded by FCT Portugal, and involves in addition to University of Coimbra and CMU, the University of Lisbon Faculty of Sciences, IST Lisbon, and Critical Software. Positions are fully funded.

Self-adaptive software systems are able to reconfigure their structure and modify their behaviour at run-time in order to adapt to environmental changes, repair faults, or optimize their operation. However, their widespread adoption in many application domains (especially in safety-critical ones) has been hindered by the lack of existing methodologies able to provide reasonable guarantees of property satisfaction related to aspects like system dependability or performance. In particular, elements such as stochastic behaviour, uncertainty, or the coexistence of multiple (potentially incompatible) objectives, represent obstacles in self-adaptive system analysis using existing verification and validation methodologies.


Trustworthy Adaptation Strategies

This Ph.D. position deals with the development of sound approaches for the provision of assurances in self-adaptive systems. In particular, the selected candidate will explore the complementary use of architectural and probabilistic models to determine the levels of confidence of a system with respect to a set of stated properties. Furthermore, this work will also constitute the foundations for the development of synthesis techniques for adaptation strategies with guaranteed levels of confidence. In order to achieve these goals, appealing fields to draw upon include probabilistic model checking, software testing, controller synthesis, and run-time verification.


Extending the Concept of Dependability Case  to Address Resilience

A resilient system is a system that is able to deliver service that can justifiably be trusted, when facing changes, in other words, the system has to be dependable when facing changes. Similar to dependability cases, which is based on the concept of safety cases, a resilience case could be seen as a clear and defensible argument that a system is acceptably resilient in a certain operational context. What distinguish the operational context of a dependable system from that of a resilient system are the changes that might occur to the environment of the system, to the system itself and its requirements. The challenge now is how to define a dynamic operational context, instead of a very particular operational context, which has been the basis for producing safety cases. Relying on existing work on safety and dependability cases, the aim of this work is to define what should be a resilient argument, and how a collection of these could be use to build a resilient case. 


If you would like any further details about the project, the topics on offer, or the funding, please don't hesitate to contact.


Contact details:

Rogério de Lemos -

Javier Cámara

Document Actions