Engineering

Information processing systems (Prof. Calvanese) (ING-INF/05 (Prof. Calvanese))

Call

Rector's Decree n. 1711/2022 of 16.11.2022

Call (pdf)

Online application (link)

Project

Formal Verification of Declarative Distributed Systems

Deadline for sending applications and publications

16.02.2023 at 12:00 PM (noon)

Selection Board: decree of appointment

Rector's Decree n. 361/2023 of 21.02.2023

Decree (pdf)

Approval of documents

Rector's Decree n. 727/2023 of 27.04.2023

Decree (pdf)

The first of the ranking list

Francesco Di Cosmo

Description

Selection procedure for 1 fixed-time research assistant contract for collaboration at research activity in the academic discipline ING-INF/05 (Information processing systems) and academic recruitment field 09/H1 (Information processing systems)

Number applications