open post-doctoral position (INRIA Bordeaux, France)
by Emilie Balland, June 6, 2011Design-driven Development for Resilient Systems
Phoenix Research Group (http://phoenix.inria.fr), INRIA Bordeaux, France
The objective of this postdoctoral fellowship is to propose a development methodology for resilient systems that takes into account dependability concerns in the early stages and ensures the traceability of these requirements throughout the system life-cycle, even during runtime evolution. To provide a high level of support, this methodology will rely on a design paradigm dedicated to sense/compute/control applications. This design will be enriched with dependability requirements and used to provide support throughout the system life-cycle. This work is part of a collaborative project with the ADAM research group (INRIA, Lille) and the TSF research group (LAAS, Toulouse).
Postdoc fellowship
-----------------------
Design-driven Development for Resilient Systems
Phoenix Research Group (http://phoenix.inria.fr), INRIA Bordeaux, France
In this project, we are interested in the development of resilient
systems. Resilience is defined as the ability of a system to stay
dependable when facing changes. For example, a building management
system (e.g., anti-intrusion, fire detection) needs to evolve at
runtime (e.g., deployment of new functionalities) because its critical
nature excludes interrupting its operation. Resilence concerns occur in
various application domains such as civil systems (civil protection, control of water or energy, etc.) or private systems (home automation, digital assistance, etc.).
The objective of this postdoctoral fellowship is to propose a
development methodology for resilient systems that takes into account
dependability concerns in the early stages and ensures the traceability
of these requirements throughout the system life-cycle, even during
runtime evolution. To provide a high level of support, this methodology
will rely on a design paradigm dedicated to sense/compute/control applications. This design will be enriched with dependability requirements and used to provide support throughout the system life-cycle. This work is part of a collaborative project with the ADAM
research group (INRIA, Lille) and the TSF research group (LAAS, Toulouse).
Position
----------
* PhD obtained in 2010 or 2011
* Starting Date: September 2011 (or later)
* Duration: two years
* Salary: 2 620,84 EUR monthly (before taxes)
Contact
---------
For more details on the research group, the job's responsibilities, the requirements or the expected starting date, contact Emilie Balland ([email protected]).
