Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Model-checking di logiche stocastiche e applicazione alla verifica dei sistemi |
|---|---|
| Titolo del progetto di ricerca in inglese | Model-checking of stochastic logics for system verification |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Obiettivo della ricerca è migliorare le tecniche algoritmiche di soluzione della logiche di verifica per processi stocastici CSLTA. L'interesse è rivolto alle estensioni multi-clock della logica, che richiedono nuove tecniche di soluzione, ed al miglioramento della capacità espressiva, anche in termini dell'interfaccia grafica per la modellazione delle proprietà CSLTA. Si deve inoltre valutare la possibilità di migliorare le tecniche di simulazione con CSLTA, anche in ambito SWN (stochastic well-formed nets). In aggiunta, è di interesse il miglioramento delle tecniche simboliche di valutazione delle logiche CTL/LTL con diagrammi di decisione, applicate alla verifica di sistemi formali. |
| Descrizione sintetica in inglese | Aim of the research is the improvement of the algorithmic techniques for the solution of the CSLTA stochastic process logic. The main interest is targeted to multi-clock extension of the logic, that require new solution techniques, and the general improvement of the expressiveness of the logic itself, also in terms of graphical modeling of the CSLTA properties. The possibility to extend the research activity also in the improvement of the stochastic logic CSLTA towards simulation with SWN (stochastic well-formed nets) should be considered. In addition, it is on interest the improvement of the symbolic CTL/LTL verification techniques with decision diagrams, applied to formal system verification. |
| Data del bando | 16/01/2015 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.serviziweb.unito.it/albo_ateneo/ |
| 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 | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | \ |
| Altri costi in inglese | \ |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | il bando (n. rep. 141), modalità di iscrizione/partecipazione alla selezione e i requisiti sono disponibili su https://www.serviziweb.unito.it/albo_ateneo/ |
| Criteri di selezione in inglese (breve descrizione) | The call (n. rep. 141), the requirements and how to apply are available at the following address: https://www.serviziweb.unito.it/albo_ateneo/ |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio (il calendario dei colloqui viene pubblicato entro la data di scadenza del bando. I candidati NON riceveranno comunicazione di ammissione al colloquio) |
| Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Turin) - Dates and venues of the interviews are published on the website of the University of Turin at the official notice board (https://www.serviziweb.unito.it/albo_ateneo/) by the date of the deadline |
| Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Turin |
| Sito web | http://www.unito.it/ |
| arearicerca-assegni@unito.it | |
| Telefono | 0 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 06/02/2015 |
|---|---|
| Come candidarsi | https://loginmiur.cineca.it/ |