Selezione pubblica per titoli e colloquio; Numero assegni:1.
Diploma di laurea: Informatica, Ingegneria informatica, Matematica. Requisiti:
- titolo di Dottore di Ricerca pertinente di durata minima triennale;
- conoscenza e/o esperienza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4;
- conoscenza di metodi formali;
- conoscenza dei principi di model checking;
- conoscenza dei principi dell’interazione uomo-computer;
- conoscenza della lingua inglese;
- conoscenza della lingua italiana (solo per i candidati stranieri).