Scadenza: 09-01-2020
Bando: bando_ISTI_AR_24-2019.pdf
Commissione d'esame: commissione_ISTI_AR_24-2019.pdf
Graduatoria: Provv_graduatoria_024-2019_signed.pdf

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