Profilo professionale : Ricercatore liv. 3 a Tempo Determinato - Numero posti a concorso: 1 - Area scientifica: Informatica - Pubblicato sulla Gazzetta Ufficiale 4° serie speciale concorsi n. 14 del 19/02/2013
Titoli: Diploma di Laurea in Informatica, Ingegneria informatica, Scienze dell'informazione.
Requisiti:- titolo di Dottore di Ricerca pertinente, ovvero aver svolto per un triennio attività di ricerca in settori inerenti alle competenze specifiche del bando;
- Esperienza di ricerca nell'area scientifica delle teorie per la definizione di modelli e linguaggi di specifica di sistemi, di logiche per la specifica dei relativi requisiti e dello sviluppo delle relative tecniche e strumenti per l'analisi e la verifica, con particolare riferimento ad approcci alla definizione della semantica formale operazionale, alle relazioni comportamentali da essa indotte, ai modelli coalgebrici e alle estensioni con nozioni quantitative, di spazio e/o tempo;
- Conoscenza della teoria delle categorie e delle loro applicazioni ai modelli dei sistemi distribuiti/concorrenti e complessi e alle logiche spaziali o quantitative;
- conoscenza della lingua inglese;
- conoscenza della lingua italiana (solo per i cittadini stranieri)