Browse thread
One year post-doc
- Laurence Pierre
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2010-11-12 (22:15) |
| From: | Laurence Pierre <Laurence.Pierre@i...> |
| Subject: | One year post-doc |
Dear colleagues,
a one-year postdoc position is available in Grenoble (France).
Title: Formal methods for verifying dependability properties for a
secured architecture.
More information can be found here: http://tima.imag.fr/vds/postdoc.html
Best regards,
Laurence Pierre
---------------
Laurence PIERRE
Professor of Computer Science
TIMA Laboratory
46 Avenue Felix Viallet
F-38031 Grenoble cedex
Laurence.Pierre@imag.fr