POST-DOC Opportunity

Job openings in secure operating systems at INRIA and University of

INRIA Sophia-Antipolis and the University of Lille are opening a 12
monthes post-doctoral position in the field of embedded systems. The
position is related to the SPOPS project (2003-2006), which investigates
the development of secure operating systems for heavily constrained
devices (e.g. Smartcard, PDA, Mobile Phone...).

The research to be conducted in this position should contribute to the
design, implementation, formal specification and formal verification of
a modular open source embedded operating system.

- extensions and refinements of operating systems for small targets,
design of modular, mutli-threaded, real-time operating systems for small

- formal specification and formal verification of operating systems for
embedded devices, secure loading of operating systems components using
proof-carrying code techniques.

We seek candidates with a strong background in the following fields:
operating systems, security, type systems, and theorem proving. To
apply, send a CV and email addresses of researchers that can support
your application. Start date for the position is last quarter of 2003.
To apply, send a letter describing your program of research and vitae.
For full consideration, applications should be received by July 15,
2003. However, the search will remain open until the position is filled.

To apply (or to ask for further details) please send an email to:

Gilles Barthe (Gilles.Barthe@inria.fr)
INRIA Sophia-Antipolis

Gilles Grimaud (Gilles.Grimaud@lifl.fr)
IRCICA/LIFL, Univ. Lille 1, France

Jean-Louis Lanet (Jean-Louis.Lanet@sophia.inria.fr)
INRIA Sophia-Antipolis

David Simplot (David.Simplot@lifl.fr)
IRCICA/LIFL, Univ. Lille 1, France

Gilles Grimaud - RD2P/LIFL - http://www.lifl.fr/~grimaud