Implementation and Evaluation of Concurrent Languages with Attribute Base Communication

1 Research Project Grant position

(Deadline November 23^rd, 2018 12:00 )

Fields

Concurrency, Programming Languages, Compilers, Communication

Activity

Implementation in Erlang of the AbC Calculus developed at IMT and assessment of its quality and effectiveness by evaluating performances through a number of case studies. Development of tools for the verification of programs written in AbC.

Profile

The candidate should have a good knowledge of formal methods, verification techniques, and process algebras. Moreover, he/she should have demonstrable experience in implementing interpreters and compilers and very good knowledge of the programming language Erlang and its concurrency packages.

Formal requirements

Masters degree or 4-year degree in Computer Science or similar field.
Suitable scientific background for carrying out research activity and experience in the field that should be described in the curriculum vitae.
Excellent knowledge of English, both written and spoken.

Project

“Second life - Second Life of the Public Services” and “WiLIFE - Tecnologie WireLess e ICT per un efFiciente e integrato sistema per la prevenzione e gestione delle situazioni di crisi e delle Emergenze"

Gross amount

7671,64 €

Duration

6 months

Job Research Area:

CSSE

Job Research Unit:

SysMA

Full call