Selezione pubblica per titoli e colloquio. Numero contratti di ricerca: 1. Area scientifica: Informatica.
Titolo di studio: vedi art. 3 del bando - Requisiti specifici.

Requisiti generali:

• Godimento dei diritti civili e politici; per i candidati non cittadini italiani e non titolari dello status di rifugiato o di protezione sussidiaria, il godimento dei diritti civili e politici è riferito al Paese di cittadinanza;
• Non aver riportato condanne penali, passate in giudicato, per reati che comportano l’interdizione dai pubblici uffici; non essere stato destituito o dispensato dall’impiego presso una Pubblica Amministrazione per persistente ed insufficiente rendimento e di non essere stato dichiarato decaduto da altro impiego statale, per aver conseguito l’impiego mediante la produzione di documenti falsi o viziati da invalidità non sanabile, nonché di non essere stato interdetto dai pubblici uffici in base a sentenza passata in giudicato, né essere stato licenziato per motivi disciplinari a norma dei contratti collettivi nazionali di lavoro stipulati per i comparti della Pubblica Amministrazione;
• Avere ottemperato alle leggi sul reclutamento militare (per i soli candidati di sesso maschile di nazionalità italiana nati entro l’anno 1985);
• Conoscenza della lingua inglese;
• Conoscenza della lingua italiana per i candidati di cittadinanza diversa da quella italiana;

Descrizione della posizione: 

Il candidato dovrà indagare gli aspetti incentrati sull’uomo dell’Ingegneria del Software (SE) e dei Metodi Formali (FM) attraverso rigorose metodologie empiriche. Nell’arco di 2 anni, progetterà esperimenti controllati, studi crossover e valutazioni con metodi misti per analizzare: (1) l’effettiva comprensione e adozione di notazioni e FM in contesti di sviluppo realistici; (2) se e come l’IA Generativa (LLM e agenti di IA) possa supportare la comprensione, l’apprendimento e l’adozione di FM; e (3) la relazione tra le caratteristiche degli utenti – profilo demografico, capacità cognitive, background educativo e conoscenze pregresse – e la comprensione, l’usabilità, l’accettazione e l’adozione di notazioni e FM. Analisi statistiche quantitative (p.e. modelli a effetti misti e bayesiani), integrate con evidenze qualitative, forniranno linee guida basate empiricamente per migliorare l’usabilità, l’accessibilità e l’impatto pratico delle tecniche basate su FM e degli strumenti SE, in particolare in contesti reali e critici per la sicurezza.

Le domande devono pervenire entro le ore 18.00 del 24 aprile 2026.