[TYPES/announce] PhD positions at the Departiment of Computer Science and Engineering - DISI - University of Bologna

[Gianluigi Zavattaro]

The Department of Computer Science and Engineering - DISI - 
of the University of Bologna (Italy) has 7 PhD positions 
available for the next 3 academic years. 
You can find the call at: 

http://www.unibo.it/en/teaching/phd/information-enrolling-phd-programme/how-to-apply-phd-programme?set_language=en

The PhD school includes among its research topics:
- Programming languages and systems
- Formal methods and semantics of programming languages
- Concurrency theory
that could be of interest for people registered in TYPES.

The deadline for applications is 30/05/2014 h.1.00 p.m. 
(Bologna time).

Interested candidates can contact the coordinator of the
PhD school in Computer Science and Engineering for further 
information: 
Prof. Maurizio Gabbrielli <gabbri at CS.UniBO.IT>

----------------------------------------------------------
Prof. Dr. Gianluigi Zavattaro      University of Bologna
Department of Computer Science and Engineering
Mura A. Zamboni, 7                 I-40127 Bologna (Italy)
E-mail: zavattar at cs.unibo.it	   Tel: +39-051-2094876