Specification and Verification of Collective Adaptive Systems

1 Research Project Fellow position
(Deadline December 21st, 2023 13:00 )
The candidate should have some experience in modeling collective adaptive systems and on using verification tools for verifying their properties. The candidate should also have strong mathematical background and experience with process description languages and process algebras.
The successful candidate will work with the team involved in the PRIN IT-Matters project and collaborate with experiments on the specification and verification of large-scale collective adaptive systems, and will continue the line of research pursued with  the above mentioned project whose funding has just come to an end.
Formal requirements
  • master's degree in Computer Science, Mathematics, Physics, Computer Engineering;
Specific requirements
  • a good knowledge of written and spoken english.
6 mesi
Gross amount
€ 8.121,50
PRIN 2017 IT-Matters, codice UGOV: P0146; Codice MUR: 2017FTXR7S_001; CUP: D68D19001240001

Applications must be submit through PICA website only using the link at the bottom of this page.
Please note that for the submission of applications on PICA website, login via SPID IS NOT AVAILABLE at the moment - Please register using the alternative methods.


Si segnala che per la presentazione delle candidature sul sito PICA al momento NON E' DISPONIBILE il login tramite SPID - Si prega di effettuare la registrazione secondo le modalità alternative.

Job Research Unit: 
Job Contract Type: 
Borsa a progetto - Project fellowship


Apply ONLINE only.

Before filling in the application form, please read thoroughly the full call and collect all the files you may need:


  • Personal info and contact info (compulsory);
  • University degree (compulsory);
  • PhD (compulsory only if stated in the full call).


  • The scanned copy of a valid identity document (Passport or Identity Card - compulsory);
  • Your CV (compulsory).