Tu sei qui

Programming Languages with attribute based communication for reliable system modeling

1 Research Project Grant position
(Deadline March 31st, 2017 12:00 )

Security, Process algebras, security, behavioral equivalences, Program correctness


Starting from the work developed at IMT on attribute based communication (calculi, languages and their implementations) the successful applicant will develop methods and tools for the (static and dynamic) analysis) of systems where communication among the different components is determined by their (dynamic) attributes rather than by their address.


The applicant should have a very good knowledge of programming languages and process calculi and of tools for specifying and proving qualitative and quantitative properties of systems.

Formal requirements

Laurea Magistrale" or "Specialistica", or a four- or five-year degree in Mathemathics, Physics, Computer Science, Computer Engineering or equivalent. Suitable scientific background for carrying out research activity and experience in the field that should be described in the curriculum vitae. An excellent knowledge of English, both written and spoken.


Distributed Global Financial Systems for Society – DOLFINS

Gross amount

6.000 € (Total Amount)


6 months

Job Research Area: 
Job Research Unit: 
Full call
Final decree


Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.


  • Personal info and contact info (compulsory)
  • Number of your Identity Document (Passport or Identity Card) (compulsory)


  • Your CV in English (compulsory)
  • Identity document (Passport or Identity Card) (compulsory)