Scadenza: 05-12-2011
Laboratori: FMT
Bando: bando_ISTI_AR_40-2011.pdf
Commissione d'esame: commissione_ISTI_AR_40-2011.pdf
Graduatoria (uri): http://bandi.urp.cnr.it/doc-assegni/documentazione/2004_2042_DOC_GRAD.pdf

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).