Postdoc position at ENS


A research position for one or two years is available at the Ecole
Normale Superieure in Paris. 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, process calculi and mobility
- type systems 
- static analysis
- formal methods for language-based security
- XML documents transformation languages

For application and further information please contact Giuseppe
Castagna (Giuseppe.Castagna@ens.fr) and consult the following
pages: http://www.myths.eu.org  http://www.cduce.org

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, reconfigurable systems,
computer vision.