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