Research appointment (pre-doc)
09/IINF-05 - Information Processing Systems
Uni. Verona
Posted on: 24/07/2026
Deadline: 31/08/2026
Compensation
22,565 €
Maximum duration
12 months
IdR62/26 - Specification mining and runtime verification for cyberphysical systems in Industry 5.0
The research assignment aims to develop methods and tools for specification mining and runtime verification of humancentric cyber-physical systems in Industry 5.0. In particular, the activity will focus on extracting, formalizing, and monitoring temporal properties related to correctness, safety, and reliability from datasets generated by wearable devices and environmental sensors, in the context of digital twins applied to scenarios such as smart manufacturing and logistics.
Selection process
The competition will be carried out by an evaluation of titles
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements:a) Master's degree in Computer Science, Computer Engineering, or equivalent [Laurea Magistrale o a ciclo unico awarded pursuant to Art. 3(1n), Ministerial Decree no. 270 of 22/10/04], obtained no more than six years before the expiry date of this call;b) Possession of a curriculum suitable for assisting in carrying out research activities.