Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sviluppo e sperimentazione di nuove metodologie per la specifica, l'implementazione e la validazione di sistemi intelligenti affidabili basati su metodi formali e tecniche e strumenti avanzati di verifica tramite model checking. |
|---|---|
| Titolo del progetto di ricerca in inglese | Development and experimentation of novel methodologies for the specification, implementation and validation of trustworthy smart systems based on formal methods and advanced model-checking techniques and tools. |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il candidato parteciperà a definizione, sviluppo, sperimentazione e miglioramento di teorie, algoritmi e tool per la verifica automatica (model checking), sia esistenti che nuovi;potrà migliorare o ridefinire strumenti teorici (logica, semantica, relazioni di equivalenza) e pratici (tool) esistenti per la verifica di proprietà spazio-temporali ed estensioni probabilistiche e quantitative, con modelli basati su immagini oppure su grafi, anche studiandone la parallelizzazione (es. tramite GPU);potrà contribuire alla progettazione e sviluppo di interfacce uomo-macchina specifiche per il dominio dei casi di studio selezionati, anche tramite la definizione di modelli cognitivi ed esperimenti per valutare l'impatto e l'usabilità degli strumenti che sono definiti;potrà utilizzare model checkers spaziali e spazio-temporali per la verifica di proprietà di casi di studio rilevanti per la tematica, inclusi quelli di controllo nell'infrastruttura ferroviaria, di rilievo per il progetto. |
| Descrizione sintetica in inglese | The candidate: • will take part in the definition, development, application and improvement of theories, algorithms and tools for the automated verification (model checking), both existing and new; • may improve or redefine theoretical instruments (logics, semantics, equivalences) and tools for the verification of spatio-temporal properties, and probabilistic and quantitative extensions, using models based on images or graphs, also studying their parallelisation (e.g. via GPU); • may contribute to the design and development of human-computer interfaces in the domain of the selected case studies, also by defining cognitive models and experiments to evaluate the impact and usability of the defined instruments; • may use spatial and spatio-temporal model checkers for the verification of properties in case studies that are relevant for the theme, included those related to train control, which is relevant for the project. |
| Data del bando | 18/12/2019 |
| Numero di assegnazioni per anno | 1 |
| 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.isti.cnr.it |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | CNR - ISTI |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Sito web | http://www.urp.cnr.it |
| sag@isti.cnr.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 09/01/2020 |
|---|---|
| Come candidarsi | Other |