A research position for one to three years will be available in
Ecole Normale Superieure in Paris from beginning of 2002. This
position is opened in the context of an European project on
formal models for mobility and security. It will corresponds to
the position of an average CNRS's CR2 researcher, that is, the
retribution of a young tenure researcher with few years of
post-doc career.

Applicants should have (or expect soon to have) a Ph.D. and
justify experience with at least one of these themes:

- concurrency and process calculi 
- type systems 
- formal verification
- static analysis
- language-based security
- security protocols
- proof systems
- formal methods

For application and further information please contact Giuseppe
Castagna (Giuseppe.Castagna@ens.fr) and consult the following
page http://www.cogs.susx.ac.uk/projects/myths/
Similar positions are available at the University of Venice and
at University of Sussex, as well.

Ecole Normale Superieure is one of the most prestigious
universities and research center in France. Sited in the center
of Paris it prepares few highly selected students, and it
counts among its former students several Nobel awards and Field
medalists. The computer science department counts groups on
cryptology, abstract interpretation, languages and logics,
networks, computational geometry, and reconfigurable systems.