<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<br>
<br>
Postdoctoral Research Fellow in Component-Based Software Engineering.<br>
<br>
INRIA (French National Institute for Research in Computer Science and
Control)<br>
<br>
The ADAM team (ex JACQUARD project) from the INRIA research institute
in France has an
open postdoc research fellowship position. The team seeks for
motivated and innovative persons interested in investigating the
co-evolution of abstract and execution application models. Applicants
should have a background in Software Engineering, CBSE, ADL,
middleware, distributed systems and distributed services.<br>
<br>
The position is for one
year with possibility of extension. This contract is aimed at French
or foreign candidates who have
defended their Phd after May 1st, 2006. Candidates who prepared their
Phd abroad will be considered with priority. Applicants must be less
than 40 years old.<br>
<br>
The ADAM research group is located in Lille, France, on the campus of
the University of Lille 1. Lille is situated in the North of France
near the Belgian border, just 38 minutes from Brussels, 1h from Paris
and 1h40 from London by train.<br>
<br>
Details about the postdoc research topic can be found below or also <a
class="moz-txt-link-freetext"
href="http://www.talentsplace.com/syndication1/inria/ukpostdoc/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LOV6=4512&LG=EN&Resultsperpage=20&nPostingID=1112&nPostingTargetID=3096&option=52&sort=DESC&nDepartmentID=19">online</a>.
<br>
Applications have to be registered online. The application deadline is:
March 31, 2007.
<br>
<br>
Best regards,<br>
<br>
<br>
===================================================================<br>
<br>
<br>
<b>Title:</b> Enabling the co-evolution of abstract application models
and execution application models<br>
<br>
<b>Research context: </b><br>
To reduce software development costs and enhance the flexibility and
maintainability of systems, component-based software engineering
(CBSE) proposes to build software systems by integrating existing
software components. Often, the overall structure of the application
is first described at the abstract level, through abstract models
expressed with an architecture description language (ADL). Such
description highlights the needed components and their assembly, which
facilitates the understanding and analysis of the application. At this
level, it is for example possible, to verify a certain amount of
properties to guarantee that the resulting component assembly is
valid. This high-level description is then projected toward a given
implementation and the resulting application is finally deployed and
executed.
<br>
<br>
At runtime, it is often necessary to apply modifications to the
executing application, for example, new components may be integrated
to adapt to a changing execution context. Rapidly the execution model
of the application becomes less and less coherent with its
abstract model. It is thus difficult to know exactly what structure
the currently running application has and more importantly it is
impossible to predict if a given modification of the execution
application model is correct and will not break some component
assembling properties, which may, in the worst case, yield to a system
failure.
<br>
<br>
<b>Postdoctoral researcher work description</b>:<br>
The purpose of this postdoctoral position is to design and implement a
framework which will enable the co-evolution of the abstract model of
an application and its executing model. By co-evolution we mean that
applying a modification to the running system should automatically
update the abstract model and that, reciprocally, modifying the
abstract model should trigger the appropriate modification onto the
running system. This will enable the abstract and executing models to
remain coherent at any time, and will allow verifications to be
performed, enhancing the overall robustness of the application through
its entire life-cycle. <br>
<br>
<b>Required knowledge and background:</b><br>
The candidate should: <br>
- Hold a PhD degree in Computer Science <br>
- Be fluent in English (French is an advantage but not demanded) <br>
- Be knowledgeable in the domains of Software Engineering, CBSE, ADL,
middleware, distributed systems and distributed services <br>
- Have very good programming skills in JAVA <br>
<br>
<b>Contact:<br>
</b>For further information, please contact :<br>
Anne-Francoise Le Meur : <a class="moz-txt-link-abbreviated"
href="mailto:lemeur@lifl.fr">lemeur@lifl.fr</a> <br>
Laurence Duchien : <a class="moz-txt-link-abbreviated"
href="mailto:duchien@lifl.fr">duchien@lifl.fr</a><br>
</body>
</html>