[Prev][Next][Index][Thread]

RESEARCH FELLOWSHIP AT "CA' FOSCARI", VENEZIA



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