Bandi per assegni di ricerca

ROMA "La Sapienza"

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Algoritmi e Tools di Model Checking per la Verifica Formale di Sistemi di Controllo.
Titolo del progetto di ricerca in inglese Model checking based algorithms and tools for automatic formal verification of control systems.
Campo principale della ricerca Computer science
Sottocampo della ricerca Informatics
Area CUN 01 - Scienze matematiche e informatiche
S.S.D INF/01 - INFORMATICA
Descrizione sintetica in italiano Algoritmi e tools per la sintesi automatica di software di controllo dalle specifiche formali del sistema a ciclo chiuso.
Descrizione sintetica in inglese Algorithms and tools for automatic synthesis of control software from formal specifications for the closed loop system.
Data del bando 20/11/2013
Numero di assegnazioni per anno 1
Stanziamento annuale (indicativo) 22946
E' richiesta mobilità internazionale? no
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati All
Nazionalità dei candidati All
Sito web del bando http://w3.uniroma1.it/dipinfo

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Il contratto prevede la copertura delle prestazioni sociali? no
Importo annuale 19367
Valuta Euro
Comprende lo stipendio dell'assegnista yes

 

Finanziatore
Nome dell'Ente finanziatore Dipartimento di Informatica Sapienza Università di Roma
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città Roma
Codice postale 00198
Indirizzo Via salaria 113
Sito web http://w3.uniroma1.it/dipinfo

 

Contatto presso l'Ente
E-mail assegniricerca@uniroma1.it
Telefono 06/49918315

 

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

 

Dettagli per la candidatura
Data di scadenza del bando 20/12/2013
Come candidarsi assegniricerca@uniroma1.it