Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica; Tematica di Ricerca: “Progettazione e sviluppo di tecniche a supporto dell'analisi di dependability e performance in sistemi critici e complessi, sia in ambito embedded che in ambito di sistemi aperti e dinamicamente evolvibili”.

Diploma di laurea in Informatica, Ingegneria informatica, Scienze dell'informazione. Requisiti:

• esperienza o conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4;
• esperienza in ambito di ricerca orientata alla valutazione di sistemi safety-critical (e.g., sistemi ferroviari), eterogenei e dinamici, mediante formalismi di modellazione e tecniche per l'analisi di attributi di dependability e nell’utilizzo di tool per la modellazione e l'analisi di dependability;
• conoscenza delle 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;
• conoscenza della lingua inglese parlata e scritta;