A new call for a 12 months research position, within the project SMARTEST – Simulation of Probabilistic Systems for the Age of the Digital Twin, has been announced by the University of Milano.

The candidate is expected to be specialized in any of the following areas: Temporal Logics, Proof Theories and Multi-Agent Systems with a specific focus on Probabilities and Uncertainty.

The successful candidate will join the Logic Uncertainty Computation and Information (LUCI) Lab. The group includes logicians from the mathematics, computer science and philosophy track.  Please see https://luci.unimi.it/ for further details. 

The call is available in Italian (only) at

https://www.unimi.it/it/ricerca/ricerca-lastatale/fare-ricerca-da-noi/assegni-e-borse/bandi-assegni-di-ricerca/bando-di-tipo-b-pnrr-prof-primiero-id-6779

Please address informal enquiries to giuseppe.primiero@unimi.it