Programming Languages with attribute based communication for reliable system modeling

1 Research Project Grant position

Fields:

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

Activity:

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.

Profile:

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.

Project:

Distributed Global Financial Systems for Society – DOLFINS

Research Area:
Computer Science and Applications
Research Unit:
NETWORKS - Complex Networks
Gross remuneration:

6.000 € (Total Amount)

Duration:

6 months

Full call:
download in Italian
Director Decree Selection Committee:
download in Italian
Final decree:
download in Italian

Recruitment Program Principles and Standards

Application

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

Info

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

Attachments

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

Contacts

researchers.opening@imtlucca.it