RESEARCH/POSTDOC 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. 12-Mar-2002 19:51:44 -0400,1735;000000000000-00000000