Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Valutazione qualitativa e quantitativa di sistemi ferroviari, nell'ambito del progetto PRIN PNRR ADVENTURE |
|---|---|
| Titolo del progetto di ricerca in inglese | University of Florence- Qualitative and quantitative evaluation of railway systems, within the national project PRIN PNRR ADVENTURE- published on the |
| Campo principale della ricerca | Engineering |
| Sottocampo della ricerca | Computer engineering |
| 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 | I moderni sistemi ferroviari sfruttano il funzionamento collettivo di un insieme di sottosistemi innovativi e distribuiti che supportano il monitoraggio, il comando e il controllo di varie apparecchiature. Le numerose e complesse interazioni tra questi sottosistemi sollevano nuove sfide per la valutazione delle proprietà di safety,disponibilità e interoperabilità: per affrontare queste sfide,il progetto ADVENTURE intende sviluppare soluzioni innovative di Model-Driven Engineering (MDE) per la valutazione qualitativa e quantitativa di tali sistemi fattraverso tecniche diverse(come il model checking composizionale o statistico) e approcci multi-paradigma o multi-formalismo per creare ponti tra diversi livelli di astrazione.Le soluzioni sviluppate nell'ambito del progetto saranno convalidate su due casi di studio rilevanti.Questa richiesta di assegno di ricerca è finalizzata all'assunzione di un ricercatore junior che contribuisca a raggiungere gli obiettivi del progetto ADVENTURE. |
| Descrizione sintetica in inglese | Modern railway systems exploit the collective operation of a number of innovative and distributed subsystems that support monitoring, command, and control of physical railway equipment. The many complex interactions among these subsystems raise new challenges for the evaluation of safety, availability, interoperability properties: to address these challenges, the ADVENTURE project develops innovative Model-Driven Engineering (MDE) solutions for the qualitative and quantitative evaluation of railway systems, by means of diverse techniques (such as compositional and statistical model checking) and multi-paradigm or multi-formalism approaches to help create bridges between different abstraction levels. The solutions developed within the project will be validated on two relevant case studies. This research grant request aims at hiring a junior researcher to help targeting the objectives of the ADVENTURE project, according to the plans of the approved project proposal. |
| Data del bando | 30/10/2024 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://titulus.unifi.it/albo/viewer?view=files%2F005777831-UNFICLE-412fe16a-f244-4cd2-8845-219e8a2dd35e-000.pdf |
| 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 | 23890 |
| 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) | 18 |
| Criteri di selezione in italiano (breve descrizione) | Laurea magistrale attinente al programma di ricerca |
| Criteri di selezione in inglese (breve descrizione) | Master's degree related to the research programme |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio |
| Processo di selezione in inglese (breve descrizione) | evaluation of titles and examination by means of an interview |
| Nome dell'Ente finanziatore | Università degli Studi Firenze |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Firenze |
| Sito web | http://www.unifi.it |
| amministrazione@dinfo.unifi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 25/11/2024 |
|---|---|
| Come candidarsi | Other |