Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news ] postdoc positions on component-based embedded systems at Verimag (France)

argouml
Discussion topic

Back to topic list

[verimag-news ] postdoc positions on component-based embedded systems at Verimag (France)

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2005-12-01 09:37:06 PST
Message Postdoctoral positions at Verimag:
--------------------​-------------

Verimag is opening several post-doctoral research positions on
component-based construction of embedded systems. The researchers will
be integrated in one of the research projects that will start in early
2006. They developed will, based on existing results, develop a
rigorous and general framework for component-based modeling, design and
implementation. The aims of the projects include:

• Developing a construction framework encompassing heterogeneity and
   specific styles and paradigms, e.g.
     * synchronous and asynchronous execution
     * heterogeneous interaction (strong, weak, event-driven, state-driven)
     * architecture styles e.g., client-server, blackboard architecture

• Studying correctness-by-construction results for deadlock-freedom,
   liveness and general safety properties

• Providing automated support for component integration and generation
   of glue code meeting given requirements

• Specialization for specific needs and applications (performance,
   wireless, adaptive systems)

An important point is that all theoretical results are implemented in
prototype tools, and experimented in case studies provided by industrial
partners of the project. For this purpose, we want to use and further
develop recent results on model transformation techniques.

Please send your CV and motivation letter to
- Joseph Sifakis
     (sifakis at imag dot fr, http://www-verimag.i​mag.fr/~sifakis/) or
- Susanne Graf
     (susanne dot graf at imag dot fr, http://www-verimag.i​mag.fr/~graf)

--
--------------------​--------------------​--------------------​------------
Susanne Graf | tel : (+33) (0)4 56 52 03 52
VERIMAG | fax : (+33) (0)4 56 52 03 44
2, avenue de Vignate | http://www-verimag.i​mag.fr/~graf/
F - 38610 Gieres | e-mail: Susanne dot Graf at imag dot fr
--------------------​--------------------​--------------------​------------

« Previous message in topic | 1 of 1 | Next message in topic »

Messages

Show all messages in topic

[verimag-news ] postdoc positions on component-based embedded systems at Verimag (France) Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2005-12-01 09:37:06 PST
Messages per page: