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).