Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica, Ingegneria; Tematica di Ricerca: "Progettazione e sviluppo di tecniche a supporto dell'analisi di dependability e performance in sistemi critici e complessi che evolvono dinamicamente"
Diplomi di laurea in Scienze dell'informazione, Informatica, Ingegneria informatica- Requisiti:
- Conoscenza di problematiche di dependability in sistemi di calcolo e tecniche per migliorare la progettazione e realizzazione di sistemi critici con requisiti di affidabilità, in particolare tecniche per la tolleranza ai guasti e per la stima dell'incidenza dei guasti residui;
- Esperienza in ambito di ricerca orientata alla valutazione di sistemi eterogenei e dinamici, mediante formalismi di modellazione e tecniche per l'analisi di attributi di dependability;
- Esperienza nell'utilizzo di tool per la modellazione e l'analisi di dependability;
- Conoscenza della lingua inglese parlata e scritta;
- Conoscenza della lingua italiana (solo per i candidati stranieri).