Bandi per assegni di ricerca

Politecnico MILANO

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Verifica al tempo di esecuzione di proprietà quantitative mediante cloud computing
Titolo del progetto di ricerca in inglese Runtime verification of quantitative properties using cloud computing
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Settore Concorsuale 09 - Ingegneria industriale e dell'informazione
S.S.D -
Descrizione sintetica in italiano L'obiettivo della ricerca e' la valutazione di proprieta' temporali di tipo quantitativo su tracce. La valutazione puo' essere fatta offline oppure online. Le proprieta' sono espresse in una logica temporale che consente di esprimere aspetti quantitativi relativi alla distanza tra eventi o la loro frequenza di accadimenti in una finestra temporale. Per rendere realistica l'analisi, si vuole analizzare la possibilita' di usare architetture di cloud computing e i relativi strumenti per l'esecuzione distribuita e parallela. L'obiettivo e' generare automaticamente l'algoritmo di verifica per specifiche infrastrutture di cloud computing.
Descrizione sintetica in inglese The proposed research aims at performing the check of quantitative temporal properties of traces. The checks can be performed offline or even online. Properties are expressed in a temporal logic language that also has quantitative (metric) constructs. To scale up the analysis, we want to explore the use of cloud computing infrastructures and the support they provide for distributed parallel execution. The goal is to find a systematic or even automatic way of mapping the problem onto a parallel execution engine.
Data del bando 10/11/2015
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
AFRICA
EUROPE
Nazionalità dei candidati OCEANIA
NORTH AMERICA
SOUTH AMERICA
ASIA
OTHER
AFRICA
EUROPE
Sito web del bando http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
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 call (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/

 

Finanziatore
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.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/

 

Contatto presso l'Ente
E-mail assegniricerca@polimi.it

 

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

 

Dettagli per la candidatura
Data di scadenza del bando 22/12/2015 - alle ore 00:00
Come candidarsi Other