Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Analisi di proprietà di sistemi sw distribuiti |
|---|---|
| Titolo del progetto di ricerca in inglese | Sistemi di analisi statica di proprietà di servizi per il cloud e loro prototipazione |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | L'attivita` di ricerca da svolgere in questo progetto riguarderà 1. Definizione di sistemi formali per dimostrare proprietà di sistemi software per il cloud; 2. Prototipazione dei sistemi definiti in 1. |
| Descrizione sintetica in inglese | The research activities to be carried out in this project are 1. the definition of formal systems to prove properties of software systems for the cloud; 2. the prototype implementation of systems defined in 1. |
| Data del bando | 13/12/2017 |
| 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.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| 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.aricweb.unibo.it/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.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| 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 |
| cosimo.laneve@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 07/02/2018 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |