Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica, Ingegneria; Tematica di Ricerca: “Metodologie formali per l’analisi dei requisiti”

Diplomi di laurea in Scienze dell'informazione, Informatica, Ingegneria informatica
- Requisiti:
- metodologie e strumenti per la modellazione formale di requisiti di sistemi critici in particolare nel settore ferroviario;
- Esperienza di uso di metodologie formali e semiformali per l’analisi dei requisiti e di strumenti automatici per la verifica quali SPIN, NuSMV, SimulinkDesing Verifiier ed altri;
- Conoscenza della lingua inglese parlata e scritta;
- Conoscenza della lingua italiana (solo per i candidati stranieri).