Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | “Sviluppo di applicazioni cloud data-intensive con miglioramenti iterativi della qualita' (DICE) - Tecniche di verifica formale” |
|---|---|
| Titolo del progetto di ricerca in inglese | “Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements (DICE) – Formal Verification Techniques” |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | - |
| Descrizione sintetica in italiano | L’obiettivo del programma di ricerca è di sviluppare tecniche di verifica formale per sistemi software data-intensive, in cui la gestione dei dati, ed in particolar modo quali componenti del sistema li elaborano e come vengono scambiati tra questi ultimi, è di fondamentale importanza. La natura data-intensive del software fa sì che le tecniche di verifica studiate debbano essere in grado di rappresentare e manipolare quantità i cui valori possono appartenere a domini illimitati, per gestire i quali tecniche di verifica classica non sono del tutto adeguate. Una caratteristica fondamentale delle tecniche di verifica che si vogliono sviluppare è che questa siano altamente automatizzate, e quindi che si fondino su formalismi decidibili. Il compito dell’assegnista sarà lo studio e la realizzazione in strumenti prototipali di tecniche di verifica interamente automatica per software data-intensive. |
| Descrizione sintetica in inglese | The goal of the research program consists in developing techniques for the formal verification of data-intensive software systems, i.e., where data management, and in particular determining which system components elaborate which data and how data is exchanged among them, is of paramount importance. The data-intensive nature of the software implies that the verification techniques studied must be able to deal with quantities whose values can belong to unbounded sets, for which classic verification techniques are not entirely suitable. A crucial feature of the verification techniques that will be developed is that they should be highly automated, hence they must be based on decidable formalisms. The task of the PostDoc is to study highly automated verification techniques for data-intensive systems, and implement them in prototype tools. |
| Data del bando | 20/01/2015 |
| Paesi in cui può essere condotta la ricerca |
Italy France Romania Spain United Kingdom |
| Paesi di residenza dei candidati |
AFRICA OCEANIA EUROPE NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Nazionalità dei candidati |
AFRICA OCEANIA EUROPE NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the notice of selection (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di Elettronica, Informazione e Bioingegneria |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Milano |
| Sito web | http://www.deib.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 24/02/2015 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |