È 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 capacità di auto-organizzazione dei sistemi studiati. Gli strumenti software di supporto a modellazione ed analisi comprenderanno, tra l'altro, model checkers, loro estensioni probabilistiche, il sistema Mathematica, sistemi di supporto alla risoluzione di sistemi di equazioni differenziali e loro interfacce verso process algebra".Titolo di studio: Laurea in Scienze dell'informazione o Informatica o Ingegneria Informatica o Matematica secondo la normativa in vigore anteriormente al D.M. 509/99 oppure la laurea Specialistica nelle classi N. LS23 (Lauree Specialistiche in Informatica), o LS35 (Lauree Specialistiche in Ingegneria Informatica) o LS45 (Lauree Specialistiche in Matematica) oppure Laurea Magistrale in Informatica o Ingegneria Informatica o Matematica di cui al D.M. 270/04 (vedi bando).