Specification and Verification of Smart Systems

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

Concurrency, Programming Languages, Logics, Verification Tools


The successful candidate will work within the IT-MATTERS PRIN project, whose goal is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. In particular, the candidate will work with AbC, a recent formalism studied by the SysMA Research Unit and will contribute to efficient implementation of variants of the calculus by adding attribute-based communication to other well established languages and by using the new formalisms to specify and prove emergent properties of systems that group to achieve specified tasks while deal operating in changing environments.


Very good knowledge of formal methods, verification techniques and modal logics. Demonstrable expertise in implementing compilers and interpreters for programming languages and very good knowledge of programming language such as Erlang and its concurrency packages or Google Language Go. Previous experience on the specification of Smart Systems, although not mandatory, will be especially appreciated.

Formal requirements
  • PhD in Computer Science;
  • A CV suitable for carrying out research activity;
  • An excellent knowledge of both written and spoken English is required.
Gross amount

€ 20.350/year


1 year, renewable 

Job Research Unit: 
Job Contract Type: 
Assegno di ricerca


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);
  • PhD (compulsory only if stated in the full call).


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