Torna ai risultati della ricercaBando per contratto di ricerca
| Titolo del progetto di ricerca in italiano | Model checking statistico per software di controllo in robot autonomi |
|---|---|
| Titolo del progetto di ricerca in inglese | Statistical model checking for control software in autonomous robots |
| G.S.D. | 09/IINF-05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| S.S.D | IINF-05/A - Sistemi di elaborazione delle informazioni |
| Descrizione sintetica in italiano | Il programma prevede la realizzazione di strumenti software basati su metodi statistici di tipo Monte Carlo per la verifica automatica di software (c.d. model cheker statistici) di controllo in robot autonomi utilizzando logiche temporali per la descrizione dei requisiti.Di tali strumenti dovranno essere sviluppate le giustificazioni teoriche, gli algoritmi e le euristiche di funzionamento,le implementazioni e le valutazioni sperimentali atte a determinarne le prestazioni rispetto a metodi alternativi.L’obiettivo del progetto è la realizzazione model Checker statistici che siano dimostrabilmente superiori nella verifica di software di controllo per robot autonomi rispetto a soluzioni alternative presenti allo stato dell’arte.Il candidato dovrà presentare una proposta progettuale secondo i seguenti elementi: Breve analisi dello stato dell’arte nella verifica delle proprietà dei software di controllo per robot autonomi |
| Descrizione sintetica in inglese | The program involves the development of software tools based on Monte Carlo statistical methods for the automatic verification of control software (so-called statistical model checkers) in autonomous robots using temporal logic to describe requirements. Theoretical justifications, algorithms and heuristics for their operation, implementations, and experimental evaluations will be developed for these tools to determine their performance compared to alternative methods.The project's goal is to develop statistical model checkers that are demonstrably superior in verifying control software for autonomous robots compared to alternative state-of-the-art solutions. The candidate must submit a project proposal based on the following elements: A brief review of the state of the art in verifying the properties of control software for autonomous robots |
| Data del bando | 17/04/2026 |
| 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 del contratto di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 54910 |
| 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) | 24 |
| 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 |
| Contratto finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 05/05/2026 - alle ore 12:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |