Grenoble University and Verimag recruits motivated candidates for a Ph.D.
fellowship. The position is for 3 year starting in September or October 2013.
The (net) salary is approximately 1600 Euros per month, medical insurance
included.
- = = - Context - = = -
The purpose of the Ph.D. is to develop new monitoring techniques for
component-based systems in the context of the European CERTAINTY project.
A component-based approach consists in building complex systems by clustering
components (building blocks). This confers numerous advantages (e.g.,
productivity, incremental construction, compositionality) that allow to deal
with complexity in the construction phase. Component-based systems (CBS) are
desirable because they allow reuse of sub-systems as well as their incremental
modification without requiring global changes. Their development requires
methods and tools supporting a concept of architecture which characterizes the
coordination between components.
Runtime-verification (RV) is an effective technique to ensure, at runtime, that
a system meets a desirable behavior. It can be used in numerous application
domains, and more particularly when integrating together unreliable software
components. In RV, a run of the system under scrutiny is analyzed incrementally
using a decision procedure: a monitor. This monitor may be generated from a
user-provided high level specification (e.g., a temporal formula, an
automaton). This monitor aims to detect violation or satisfaction w.r.t. the
given specification. The main challenge in augmenting a system with runtime
verification is dealing with its runtime overhead.
Monitoring component-based systems is quite different from monitoring
traditional monolithic systems. The challenges of the thesis are to propose
methods and tools to:
- minimize the monitoring overhead in component-based systems;
- tackle the possible distribution of components,
- study and assess the modularity of monitors for component-based systems.
- = = - (Research) Environment - = = -
The selected application will conduct his research at Verimag. Research at
Verimag provides theoretical and technical means for developing embedded
systems, contributing to scientific advancement and industrial progress. Over
the last fifteen years, Verimag has actively contributed to the development of
the state-of-the-art, in particular for synchronous languages, verification,
testing and modeling. The tools produced at Verimag are regularly transferred
to commercial CASE tools and are used in a number of industrial applications.
Located in the southeastern part of France, Grenoble is considered as the
capital of the Alps. Grenoble is surrounded by nature and high mountains: down
the Alps, Grenoble has important historical and gastronomic heritages. Leisure
activities in breathtaking nature are easily organizable and within
short-distance. Grenoble is also a major scientific center in Europe dedicated
to high-tech technologies, e.g., nano, micro, bio, and information technologies.
- = = - Application - = = -
The successful candidate should have a background in at least one of the
following topics:
- formal methods and software engineering
- component-based systems
- testing and runtime verification
Applications should include:
- a detailled resume,
- Master grades, ranking, MSc document,
- a motivation letter from the candidate,
- recommendation letters.
and should be sent as a single PDF file to [email protected] and
[email protected].
There are two application deadlines: June 6, 2013 and June 19, 2013.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
