RESEARCH FELLOWSHIP AT "CA' FOSCARI", VENEZIA The Department of Computer Science at the University "Ca' Foscari" of Venice, Italy, offers a research fellowship on MyThS, a project on types and formal models for mobility and security funded by the European Commission. Full details on the project can be found at http://www.cogs.susx.ac.uk/projects/myths/. The fellowship in Venice is tenable for three years, starting Jan 2002, but applications for shorter appointments of, e.g. one year, are just as welcome. Applicants should have a Ph.D. or equivalent research background in at least one of the following areas: - concurrency and process calculi - type systems - formal verification - static analysis - language-based security - security protocols - proof systems - formal methods The salary for the fellowship will be up to 30000 euros per year, according to qualification. For contacts and inquiries about the application procedure, please contact Michele Bugliesi (michele@dsi.unive.it). The successful candidate will be working with the full-time members of the "Formal Methods and Semantics" research group http://www.dsi.unive.it/~forms. The group is actively engaged in high-quality research in several areas of the theory of programming languages, concurrent systems and security. The Department of Computer Science in Venice is located on the main land, facing the beautiful lagoon and the old part of town. [ -- with apologies for multiple copies of this message --] -- Michele Bugliesi Dipartimento di Informatica, Università Ca' Foscari Via Torino 155, Venezia-Mestre Tel: +39 (041) 2908 437 Fax: +39 (041) 2908 419 e-mail: michele@dsi.unive.it http://www.dsi.unive.it/~michele