Selezione pubblica per titoli e colloquio; Numero assegni: 1; Area scientifica: Informatica; Tematica di Ricerca: "Modellazione ed analisi della variabilità in sistemi IT open-ended adattabili"

Diploma di laurea in Scienze dell'informazione, Informatica, Ingegneria informatica, Ingegneria elettronica, Ingegneria delle telecomunicazioni, Ingegneria dell'automazione. Requisiti:

• esperienza o conoscenza nell’ambito della tematica di cui all’art. 1 dichiarato con le modalità di cui all’art. 4;
• conoscenza di: principi del Software engineering, metodi formali, tecniche di model checking;
• esperienza in metodologie d’analisi per sistemi concorrenti e metodologie di progettazione per sistemi concorrenti;
• esperienza di linguaggi di programmazione: C++, Java, Python;
• esperienza di tecniche di progettazione ad oggetti;
• conoscenza della lingua inglese (da valutarsi in sede di colloquio);
• conoscenza della lingua italiana (solo per i candidati stranieri).