Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Algoritmi Simbolici per la Sintesi Automatica di Software di Controllo da Specifiche Formali per il Sistema a Ciclo Chiuso |
|---|---|
| Titolo del progetto di ricerca in inglese | Symbolic Algorithms for the Automatic Synthesis of Control Software from Formal Specifications of the Closed-loop System |
| 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 | Ricerca di metodi e tools software basati su model checking per la sintesi automatica di software di controllo |
| Descrizione sintetica in inglese | Research on model checking based methods and software tools for automatic syntesis of control software |
| Data del bando | 06/10/2011 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 25000 |
| 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/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Importo annuale | 25000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| 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/ |
| assegniricercainformatica@uniroma1.it | |
| Telefono | 06/49918315 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 05/11/2011 - alle ore 00:00 |
|---|