È indetta una selezione pubblica, per titoli e colloquio, per il conferimento di un assegno di collaborazione ad attività di ricerca inerente l'Area Scientifica "Information and Communication Technology" sul tema: "Uso e sviluppo di metodi formali per la modellazione e l'analisi di sistemi concorrenti o distribuiti possibilmente formati da grandi quantità di componenti interagenti o cooperanti. La modellazione si baserà principalmente su algebre di processi, logiche temporali, automi cellulari, o su altri modelli di calcolo bio-ispirati tipici di sistemi ad altissima granularità, su estensioni probabilistiche/stocastiche dei suddetti formalismi, nonché su possibili combinazioni di questi approcci. Verranno inoltre studiate relazioni fra tali approcci e quelli basati su sistemi di equazioni differenziali ordinarie, con particolare riferimento a traduzioni da sistemi di equazioni su processi e sistemi di equazioni differenziali. L'analisi si focalizzerà principalmente su aspetti funzionali, su caratteristiche quantitativo/stocastiche, come ad es. la performance, e sulle proprietà emergenti e la capacita' di auto-organizzazione". Titolo di studio: Laurea in Scienze dell'informazione, Informatica o Ingegneria Informatica secondo la normativa in vigore anteriormente al D.M. 509/99 oppure Laurea Specialistica o Laurea Magistrale di cui al D.M. 270/04 (vedi bando).