[TYPES/announce] Research grant at the Department of Computer Science and Engineering of the University of Bologna: application deadline July 20th

[Gianluigi Zavattaro]

Dear All,

the Department of Computer Science and Engineering of the University of Bologna has a 
vacancy for a post-doctoral position on:

Formal Description, Analysis and Deployment of Cloud Computing Services

- Contact for inquiries or application: 
  either Prof. Cosimo Laneve (cosimo.laneve at unibo.it)
  or Prof. Gianluigi Zavattaro (gianluigi.zavattaro at unibo.it)
- Duration: 1 year
- Starting date: Autumn 2015 (preferably September/October)
- Keywords: formal methods, concurrent programming, type systems, process algebra
- Location: Department of Computer Science and Engineering of University of Bologna

The gross salary of the research fellowship contract is € 26.174,00 per annum. The salary 
is exempt of withholding tax and includes all statutory social security charges the Research 
Fellow is subject to (the research fellow has to pay ~10% of taxes only).

The job may start in Autumn this year 2015 (preferably September/October) and is renewable 
for one year. It is funded by the EU FP7 project Envisage (http://www.envisage-project.eu).

The applicant must have a PhD in computer science with a strong background on formal methods 
in the specific domains of process algebra and type systems.

Please forward this email to possible applicants.

Best regards,
  Gianluigi Zavattaro
  Cosimo Laneve

===

FORMAL DESCRIPTION, ANALYSIS AND DEPLOYMENT OF CLOUD COMPUTING SERVICES

The research project, that the post-doctoral fellow will work on, intends to study 
and propose solutions to the following issues for cloud computing services:

(1) the formal specification of the quality level of services for the cloud, 
in order to describe the evolution of the virtual resources that they need 
(as processors, memory , etc.);

(2) the analysis of these specifications to determine, for example, upper bounds 
to the number of resources during the evolution of the system;

(3) Models and techniques for the automatic deployment of cloud applications 
and their reconfiguration in case of the need for dynamic resource (re)allocation;

(4) the correspondence between the formal specification and the languages ​​for  
programming the cloud.