Torna ai risultati della ricercaBando per incarichi post doc
| Titolo del progetto in italiano | Procedura di valutazione comparativa per n. 1 incarico post-doc - Dipartimento di Informatica, Scienza e Ingegneria |
|---|---|
| Titolo del progetto in inglese | Comparative evaluation procedure for n. 1 post-doc research contract - Department of of Computer Science and Engineering |
| Campo principale | Computer science |
| Sottocampo | Other |
| G.S.D. | 01/INFO-01 - INFORMATICA |
| S.S.D | INFO-01/A - Informatica |
| Descrizione sintetica in italiano | 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 del collegamento tra comportamenti locali (micro) e proprietà emergenti globali (macro) in sistemi computazionali formati da più entità interagenti. Il progetto prevede la definizione di modelli matematici e semantici per sistemi computazionali collettivi (ad es., distribuiti e multi-agente) e multi-scala, con particolare attenzione a meccanismi di emergenza e alle proprietà di correttezza e convergenza. Saranno studiati strumenti logici e metodologie di verifica, ad esempio per stabilire condizioni 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. |
| Descrizione sintetica in inglese | Title of the project: "Formal Foundations for Analysing the Micro-Macro Link in Computational Systems". The research activity focusses on the investigation and development of formal models for analysing the link between local (micro) behaviours and emergent global (macro) properties in computational systems composed of multiple interacting entities. The project involves the definition of mathematical and semantic models for collective computational systems (e.g., distributed and multi-agent) and multi-scale systems, with particular attention to emergence mechanisms and non-local convergence and correctness properties. Logical tools and verification methodologies will be studied, for instance to establish conditions under which global properties can be derived from local dynamics. The objective is to study, apply, and potentially extend innovative theories and techniques capable of supporting the analysis of emergent collective computational phenomena. |
| Data del bando | 15/05/2026 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 40247 |
| Periodicità | 12 mesi |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotto l'incarico |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://bandi.unibo.it/ricerca/incarichi-post-doc |
| Destinatari dell'incarico post doc (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| L'incarico prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 28456 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo dell'incarico | no |
| Massima durata dell'assegno (mesi) | 36 |
| Processo di selezione in italiano (breve descrizione) | Procedura di valutazione comparativa per titoli e colloquio |
| Processo di selezione in inglese (breve descrizione) | Comparative evaluation procedure based on qualifications and interview |
| Nome dell'Ente finanziatore | Università di Bologna |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Cesena |
| Sito web | https://www.unibo.it/it |
| apos.contrattidiricerca@unibo.it | |
| Telefono | 051 209 8951 - 9612 - 8165 |
| L'incarico finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 03/06/2026 - alle ore 12:00 |
|---|---|
| Come candidarsi | Other |