Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ragionamento strategico in Sistemi Multi- Agente |
|---|---|
| Titolo del progetto di ricerca in inglese | Strategic Reasoning in Multi - Agent 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 | Il programma di ricerca ha lo scopo di definire, studiare ed implementare opportune estensioni della logica ATL* e del Module Cheking.In particolare, si intende investigare l'applicazione di tali estensioni alla specifica, verifica,pianificazione e sintesi di sistemi reattivi safety-critical in ambienti complessi. |
| Descrizione sintetica in inglese | The research program aims to define,study and implement appropiate extensions of the logic ATL* and the Module Cheking. In particular, it requires to investigate the application of these extensions to the specification,testing,planning and synthesis of reactive safety-critical systems in complex environments. |
| Data del bando | 15/10/2015 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23500 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unina.it (albo ufficiale); www.dieti.unina.it (Bando) |
| 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? | yes |
| Importo annuale | 23500 |
| 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 | Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Napoli |
| Codice postale | 80125 |
| Indirizzo | Via claudio,21 |
| Sito web | http://www.dieti.unina.it |
| cugnin@unina.it | |
| Telefono | 081 7683767 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 09/11/2015 |
|---|---|
| Come candidarsi | Other |