Verification of Emerging Properties in Collective Adaptive Systems

1 Research Project Grant position
(Deadline November 14th, 2019 12:00 )

Concurrent Systems, Logics, Verification Tools, Interaction Paradigm


The successful candidate will contribute to the development of tools for the verification of emerging properties of Collective Adaptive Systems. In particular, the candidate will work on novel interaction paradigms based on stigmergic communications and will develop tools to support such paradigm and consider examples of real world systems that can be naturally modeled by exploiting the new paradigm.


Good knowledge of formal methods and verification techniques. Demonstrable expertise in using state of the art tools for the verification of program properties. Previous experience on the specification of Collective Adaptive Systems, although not mandatory, will be especially appreciated.


“Second Life of the Public Services - Second Life”

Formal requirements
  • Master Degree in Computer Science or Computer Engineering
  • Excellent knowledge of English, both written and spoken.

6 months, renewable

Gross amount


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


Apply ONLINE only.

Guidelines for applying through the PICA platform (Italian | English).
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).


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