Bandi per assegni di ricerca

Univ. BOLOGNA

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Specifica ed analisi di servizi per il cloud computing
Titolo del progetto di ricerca in inglese Formal description and analysis of cloud computing services
Campo principale della ricerca Computer science
Sottocampo della ricerca Systems design
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Descrizione sintetica in italiano The research to be carried out in this project will cover

1. the definition of an abstract language for describing cloud computing services;

2. the study of algorithms for the analysis of languages ??defined in 1;

3. the formal correspondence of the abstract descriptions with the specific services for cloud computing.
Descrizione sintetica in inglese This research grant 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) the correspondence between the formal specification and the languages ??for programming
the cloud.

These issues are central to the EU FP7 project Envisage, which has University of Bologna
as a partner.
Data del bando 24/10/2014
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati All
Nazionalità dei candidati All
Sito web del bando https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Criteri di selezione in italiano (breve descrizione) il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx
Criteri di selezione in inglese (breve descrizione) to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx

 

Finanziatore
Nome dell'Ente finanziatore ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città Bologna
Sito web http://www.unibo.it

 

Contatto presso l'Ente
E-mail luigi.distefano@unibo.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 10/11/2014
Come candidarsi Other