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

Settore Concorsuale	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