Comparative evaluation procedure for n. 1 post-doc research contract - Department of of Computer Science and Engineering

Scientific-Disciplinary Group

01/INFO-01 - Informatics

Description

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.

Compensation

28,456 Euro

Job posting website

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

Number of positions

1

Maximum duration

36.0

Funding body

Università di Bologna

How to apply

Other

Selection process