Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Utilizzo di Logica Computazionale per Verifica a Runtime di Sistemi Multiagente, sue estensioni a Verifica Probabilistica, analisi delle relazioni tra Verifica a Runtime (Verifica Dinamica) e Model Checking (Verifica Statica) di Sistemi Multiagente. |
|---|---|
| Titolo del progetto di ricerca in inglese | Use of Computational Logic for Runtime Verification (RV) of Multiagent Systems (MASs), its extensions to Probabilistic Verification, and analysis of the connections between RV (Dynamic Verification) and Model Checking (Static Verification) of MASs. |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L'assegno è finalizzato a valutare l'estensione di tecniche di Verifica a Runtime (RV) di Sistemi Multiagente (MAS) presentate da Briola et al (2014) e Ancona et al (2017) con approcci probabilistici ispirati a Stoller et al (2011). Un altro risultato atteso dall'assegno è la descrizione delle relazioni tra RV e Model Checking di MAS e la progettazione di una loro integrazione, a livello prototipale. |
| Descrizione sintetica in inglese | The scholarship aims at analysing the extension of Runtime Verification (RV) of Multiagent Systems (MASs) techniques presented by Briola et al (2014) and Ancona et al (2017) with probabilistic approaches inspired to Stoller et al (2011). Another expected outcome is the description of the connections between RV and Model Checking of MASs and the design of a prototype integrating them. |
| Data del bando | 15/05/2018 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.unige.it/concorsi/assricerca/ |
| 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 | 27133 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Criteri di selezione in italiano (breve descrizione) | Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il modulo per partecipare alla selezione è disponibile all'indirizzo: https://concorsi.unige.it/home. Le domande e i CV spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) | The qualification to apply every selection is specified in the notice for each research program. To apply for research grants: https://concorsi.unige.it/home. Applications and CVs sent by e-mail are not accepted |
| Processo di selezione in italiano (breve descrizione) | Valutazione dei titoli presentati e colloquio concernente gli argomenti previsti dal bando |
| Processo di selezione in inglese (breve descrizione) | Evaluation of presented titles and interview on the subjects specified by the notice |
| Nome dell'Ente finanziatore | Università degli Studi di Genova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Genova |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| dottorato-assegni@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/06/2018 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |