RESEARCH FELLOWSHIP AT "CA' FOSCARI", VENEZIA
A research fellowship will be available at the Department of Computer
Science at the University "Ca' Foscari" of Venice, Italy, under
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 will be tenable for three years. Applications
for shorter appointments of, e.g. one year, are 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
The successful candidate will be working with the full-time
members of the "Formal Methods and Semantics" research group
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.
Michele Bugliesi
Dipartimento di Informatica, Università Ca' Foscari
Via Torino 155, Venezia-Mestre
Tel: +39 (041) 2348 437
Fax: +39 (041) 2348 419
e-mail: michele@dsi.unive.it
http://www.dsi.unive.it/~michele