Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica; Tematica di Ricerca: "Modellazione formale di sistemi dinamicamente adattabilli".

Titoli: Diploma di Laurea in Scienze dell'informazione, Informatica, Ingegneria informatica, Matematica. Requisiti:

• Titolo di Dottore di Ricerca pertinente di durata minima triennale;
• conoscenza di metodologie e strumenti per la modellazione formale di sistemi distribuiti e concorrenti;
• conoscenza di metodologie e strumenti formali per l’analisi e verifica formale di requisiti di servizi nell’ambito del service oriented computing;
• esperienza di uso di modelli formali di computazione, architetture software dinamiche, analisi di protocolli di sicurezza, metodologie di sviluppo software aspect-oriented;
• documentata esperienza nell’ambito della tematica di cui all’art. 1
• conoscenza della lingua inglese parlata e scritta;
• conoscenza della lingua italiana (solo per i candidati stranieri).