Profilo professionale : Ricercatore liv. 3 a Tempo Determinato - Numero posti a concorso: 1 - Area scientifica: Informatica - Pubblicato sulla Gazzetta Ufficiale 4° serie speciale concorsi 80 del 12/10/2012
Titoli: Diploma di Laurea in IInformatica, Ingegneria informatica, Scienze dell'informazione
Requisiti:- titolo di Dottore di Ricerca pertinente, ovvero aver svolto per un triennio attività di ricerca in settori inerenti alle competenze specifiche del bando;
- esperienza di ricerca nel settore delle Tecniche e Strumenti per la Modellazione, Analisi e Verifica di sistemi software intensive e loro applicazione ai sistemi ferroviari, con particolare conoscenza dei sistemi di supervisione e controllo terra bordo; esperienza nell’uso di strumenti di modellazione quali Simulimk/Stateflow;
- conoscenza di metodologie e strumenti per la modellazione formale di sistemi distribuiti e concorrenti;
- conoscenza di metodologie e strumenti formali per l'analisi e verifica di requisiti espressi in linguaggio naturale di sistemi software intensive;
- conoscenza della lingua inglese;
- conoscenza della lingua italiana (solo per i cittadini stranieri)