Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche e strumenti per la sintesi e la pianificazione di processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite |
|---|---|
| Titolo del progetto di ricerca in inglese | Techniques and Tools for synthesis and planning for specification in linear time logic over infinite and finite traces |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Sviluppo di tecniche e strumenti per la sintesi e la pianificazione d processi che rispettino specifiche in logica temporale lineare su tracce infinite e finite. |
| Descrizione sintetica in inglese | Development of techniques and Tools for synthesis and planning for specification in linear time logic over infinite and finite traces |
| Data del bando | 16/04/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 27000 |
| Periodicità | 24 mesi |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://web.uniroma1.it/trasparenza/tecniche-e-strumenti-la-sintesi-e-la-pianificazione-di-processi-che-rispettino-specifiche-logica |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 27000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Nome dell'Ente finanziatore | UNIVERSITA' DI ROMA LA SAPIENZA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | ROMA |
| Codice postale | 00185 |
| Indirizzo | VIA ARIOSTO, 25 |
| Sito web | https://web.uniroma1.it/trasparenza/albo-pretorio |
| pecdis@cert.uniroma1.it | |
| Telefono | 0677274137 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | H2020/Erc |
|---|
| Data di scadenza del bando | 16/05/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | pecidis@cert.uniroma1.it |