AMAST Mail 1998
[Prev][Next][Index]

Doc and Post-doc positions - Verimag, Grenoble


Doc and Post-doc positions at Verimag - Hybrid and Real-Time Systems
====================================================================

Verimag is an academic research laboratory situated in Grenoble, 
France. The laboratory specializes in all aspects of development
of reactive and safety-critical systems, in particular synchronous
programming and verification of reactive, timed and hybrid systems.

In the framework of the Esprit project VHS (verification of hybrid
systems), Verimag offers several doctoral or post-doctoral positions.
For the former it is possible to get a 3-year scholarship in order to
obtain a Ph.D. degree in computer science from the UJF. For the latter
we offer post-doc (or research engineer) positions for durations
ranging between one and three years. The work will involve several of
the following topics:

1) Theoretical aspects of real-timed and hybrid systems.
2) Modeling and verification of industrial case-studies.
3) Implementation of data-structures and algorithms for the verification
and control synthesis of systems defined using timed and hybrid automata.

Candidates will be evaluated according to their competence in the
following domains:

1) Theoretical computer science (automata, logic).
2) Verification methodology and tools.
3) Control theory and dynamical systems.
4) Geometry and computational geometry.
5) Numerical and symbolic computation.

Candidates are requested to send CV to:

		Oded.Maler@imag.fr

-- 
===================================================================
Oded Maler             VERIMAG, Centre Equation, 2, av. de Vignate, 
38610 Gieres, France. Phone: +33 (0) 476 63 48 41 Fax: 476 63 48 50 
Oded.Maler@imag.fr     http://www.imag.fr/VERIMAG/PEOPLE/Oded.Maler
===================================================================
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]