Procedura di valutazione comparativa per n. 1 incarico post-doc - Dipartimento di Informatica, Scienza e Ingegneria

Gruppo Scientifico-Disciplinare

01/INFO-01 - Informatica

Descrizione

Titolo del progetto: “Fondamenta Formali per l’Analisi del Collegamento Micro-Macro in Sistemi Computazionali”. L’attività di ricerca si concentra sull’indagine e sviluppo di modelli formali per l’analisi delcollegamento tra comportamenti locali (micro) e proprietà emergenti globali (macro) in sistemicomputazionali formati da più entità interagenti. Il progetto prevede la definizione di modellimatematici e semantici per sistemi computazionali collettivi (ad es., distribuiti e multi-agente) emulti-scala, con particolare attenzione a meccanismi di emergenza e alle proprietà di correttezza econvergenza. Saranno studiati strumenti logici e metodologie di verifica, ad esempio per stabilirecondizioni sotto cui proprietà globali possono essere dedotte da dinamiche locali. L’obiettivo èstudiare, applicare, ed eventualmente estendere teorie e tecniche innovative in grado di supportare l’analisi di fenomeni computazionali collettivi emergenti.

Compenso

28,456 Euro

Sito web del bando

https://bandi.unibo.it/ricerca/incarichi-post-doc

Numero posti

1

Durata massima

36.0

Ente finanziatore

Università di Bologna

Come candidarsi

Other

Modalità di selezione