Selezione pubblica per titoli e colloquio. Numero assegni: 1.
Diplomi di laurea: Informatica, Ingegneria informatica, Matematica.

Requisiti :

• Titolo di Dottore di Ricerca pertinente di durata minima triennale;
• Esperienzanell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4;
• Esperienza nell’uso del tool Mobius per la modellazione e valutazione stocastica, in particolare la modellazione attraverso il formalismo SAN (Stochastic Activity Networks) e relativi linguaggi di programmazione per la codifica delle azioni;
• Conoscenza della lingua inglese;
• Conoscenza della lingua italiana (solo per i candidati stranieri).

Tematica di ricerca:

Soluzioni di modellazione stocastica efficienti per analisi di resilienza in sistemi critici, con capacità di valutare trade-offs tra più proprietà e costi realizzativi.

Descrizione sintetica dell'attività:

L’attività indirizza l’analisi basata su modellazione per valutare proprietà di resilienza in sistemi critici (principalmente, smart grids e infrastrutture ferroviarie). Lo studio prevede lo sviluppo e applicazione di soluzioni di modellazione efficienti, poiché l’obiettivo è valutare quantitativamente segmenti realistici dell’infrastruttura sotto analisi, in presenza di fallimenti dovuti sia a guasti accidentali che ad attacchi intenzionali. Aspetti di trade-offs tra le proprietà di resilienza (quali affidabilità e disponibilità) e i costi associati sono anche rilevanti.