Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica; Tematica di Ricerca: "Modellazione e valutazione di sistemi di controllo del segnalamento ferroviario"
Diplomi di laurea: Informatica, Ingegneria informatica, Scienze dell'informazione.
- Requisiti:
- conoscenza di: UML; metodologie di specifica e verifica semi formali/o formali; strumenti automatici per la specifica di sistemi software;
- esperienza di programmazione C e/o Java;
- buona capacità di lavoro in team;
- conoscenza della lingua inglese parlata e scritta;
- conoscenza della lingua italiana (solo per i candidati stranieri).