Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica; Tematica di Ricerca: "Modellazione di sistemi di controllo ferroviari"

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

• curriculum professionale idoneo allo svolgimento di attività di ricerca;
• esperienza o conoscenza nell'ambito della tematica del bando;
• conoscenza di metodologie e strumenti per: la modellazione semi formale e formale di sistemi distribuiti e concorrenti; l’analisi e verifica formale di sistemi distribuiti e concorrenti con caratteristiche di dinamicità;
• esperienza nell'uso di modelli formali e di relativi tool di verifica nella analisi e verifica di sistemi hardware e software;
• conoscenza della lingua inglese (da valutarsi in sede di colloquio);
• conoscenza della lingua italiana (solo per i candidati stranieri).