<We apologize for multiple copies> RESEARCH/POSTDOC POSITION AT ENS PARIS 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.