Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodologie e strumenti di verifica automatica di proprietà temporali su base statistica per modelli di architetture di controllo in ambito robotico. |
|---|---|
| Titolo del progetto di ricerca in inglese | Techniques and tools for automated verification of temporal properties using stochastic model- checking approaches for robot control architectures |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Il programma di ricerca prevede l'indagine su strumenti di verifica automatica su base statistica, con l'obiettivo di verificare proprietà in logica temporale a livello di sistema in robot autonomi, avendo come risultato la garanzia probabilistica sul fatto che le proprietà siano soddisfatte dal sistema. Il programma include la realizzazione di uno strumento software che possa verificare la probabilità che una proprietà sia soddisfatta con un relativo intervallo di confidenza; lo strumento dovrà avere caratteristiche "anytime", ossia fornire intervalli di confidenza sempre più piccoli nel momento in cui maggiori risorse di calcolo sono a disponibili. Il programma prevede anche ricerca nell'ambito della verifica dei robot in fase di esecuzione e comprenderà la generazione di monitor dalle proprietà e la generazione di strumenti predittivi a partire da dati raccolti da tracce di esecuzione |
| Descrizione sintetica in inglese | The researcher is supposed to carry out a research program in the area of stochastic model checking with the goal of verifying temporal system properties in autonomous robots, yielding probabilistic guarantees about their correctness. The work will include implementation of a tool that can verify automatically the probability of satisfying a property together with some confidence interval about it; the tool should be “anytime”, i.e., provide smaller and smaller confidence bounds as more resources become available. Research on runtime verification is also expected to be carried out and will include monitor generation from properties, as well as predictive techniques using data gathered from real execution traces |
| Data del bando | 29/07/2022 |
| Numero di assegnazioni per anno | 1 |
| 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.unige.it/concorsi/assricerca/ |
| 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 | 43048 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il bando 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 |
| Codice postale | 16126 |
| Indirizzo | Via Balbi, 5 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| assegnisti@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | H2020 |
|---|
| Data di scadenza del bando | 29/08/2022 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |