Selezione pubblica per titoli e colloquio. Numero assegni: 1. Area scientifica: Informatica.
Diplomi di laurea: Informatica, Ingegneria Informatica, Informatica per le discipline umanistiche, Matematica, Filosofia teorica, morale, politica e estetica.

Requisiti:

• Titolo di Dottore di Ricerca pertinente di durata minima triennale;
• Esperienza o conoscenza 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:

Modellazione e analisi formale di sistemi software critici, in particolare sistemi ferroviari, sviluppando e applicando tecniche e strumenti di model checking di proprietà espresse in logica, di analisi stocastica, di formalismi basati su automi.

Descrizione sintetica dell'attività:

Il candidato potrà:
- partecipare alla definizione, lo sviluppo, la sperimentazione e il miglioramento di algoritmi e tool formali per la verfica di sistemi software, sia esistenti che nuovi (ad esempio, contract automata, team automata, timed automata, Petri nets),
- utilizzare tool formali (ad esempio, Contract Automata Tools, Uppaal) per la verifica di proprietà espresse in logica temporale di casi di studio rilevanti per la tematica, inclusi quelli in ambito di sistemi di segnalamento ferroviario di nuova generazione.