Position at ENS Paris


A research position for 10 to 26 months will be available in
Ecole Normale Superieure in Paris starting from November 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
- formal analysis of 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/. 

Ecole Normale Superieure is one of the most prestigious
universities and research centers 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.