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 ([email protected]) or Prof. Gianluigi Zavattaro ([email protected]) - 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. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
