[TYPES/announce] PhD position in Bologna

[Simone Martini]

The Department of Computer Science of the University of Bologna (Italy)
has a fairly large group in programming language theory, including
type theory and logic in Computer Science.

The PhD Program in CS (see
http://www.cs.unibo.it/en/research/grad/ )
has a position reserved for non Italian students.

Deadline for applications is Sept 18th 2008. Courses will start in  
January 2009.
The position is funded through a scholarship of 1000 Euro/month  
(after tax).

For non Italian students the examination is based only on their vita and
reference letters. Prospective students are encouraged to contact a  
member of
the faculty in advance.

Information (in Italian) on application procedures are at
http://www.unibo.it/Portale/Ricerca/Dottorati+di+ricerca/default.htm
and some English instructions are here:
http://www.unibo.it/NR/rdonlyres/40B58AF2-E199-4FAF-89A0-7C617E2C212C/ 
125265/Help_for_application_foreign_students1.doc


Simone Martini
Director of the PhD Program in CS
---------------------------------------------------
Simone Martini                          tel: +39 051 2094979
Universita' di Bologna                  fax: +39 051 2094510
Dip. di Scienze dell'Informazione
Mura Anteo Zamboni, 7
40127 Bologna BO                        www.cs.unibo.it/~martini
Italy