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.
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
6.000 € (Total Amount)
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)