[FM-India] Open Ph.D. fellowship at Verimag, Grenoble, FRANCE

Madhavan Mukund madhavan at cmi.ac.in
Tue Sep 17 06:10:20 IST 2013


 From: Ylies Falcone <ylies.falcone at ujf-grenoble.fr>
 Date: Mon, 16 Sep 2013 20:10:53 +0200
 Subject: Open Ph.D. fellowship at Verimag, Grenoble, FRANCE
 
 =============================================
 
 Open Ph.D. fellowship at Verimag, Grenoble, FRANCE
 
 =============================================
 
 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 Saddek.Bensalem at imag.fr
 and Ylies.Falcone at imag.fr.


More information about the FMIndia mailing list