Selezione pubblica per titoli e colloquio. Numero assegni: 1. Area scientifica: Informatica.
Diplomi di laurea: Informatica, Metodologie informatiche per le discipline umanistiche, Ingegneria informatica, Matematica.

Requisiti :

• Titolo di Dottore di Ricerca pertinente di durata minima triennale;
• Esperienza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4;
• Conoscenza della lingua inglese;
• Conoscenza della lingua italiana (solo per i candidati stranieri)
  
  

Tematica di ricerca:

Metodologie e tecniche formali per lo sviluppo di sistemi software per applicazioni IoT e studi, anche empirici, della valutazione dei fattori umani durante i processi di sviluppo di tali sistemi software.


Descrizione sintetica dell'attività:

Il candidato potrà:

- partecipare alla definizione, lo sviluppo, la sperimentazione e il miglioramento di tool per la verifica automatica (model checking), sia esistenti che nuovi;
- utilizzare model checkers spaziali e spazio-temporali per la verifica di proprietà di casi di studio rilevanti per la tematica, inclusi quelli dei scenari IoT Smart Cities (ad es. smart traffic lights), di rilievo per il progetto;
- contribuire alla progettazione e lo sviluppo di interfacce uomo-macchina specifiche per il dominio dei casi di studio selezionati, anche tramite la definizione di modelli cognitivi ed esperimenti per valutare l'impatto e l'usabilità degli strumenti che sono definiti;
- elaborare ed eseguire protocolli empirici di sperimentazione con soggetti umani per la valutazione di formalismi e tool.