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 in Informatica, Ingegneria informatica, Scienze dell'informazione.- Requisiti:
- Dottore di Ricerca pertinente di durata minima triennale;
- 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;
- esperienza di lavoro in team;
- costituisce titolo preferenziale l'esperienza nella progettazione software di sistemi embedded safety-critical;
- conoscenza della lingua inglese parlata e scritta;
- conoscenza della lingua italiana (solo per i candidati stranieri).