Stochastic process algebras and associated logics, languages and tools

1 Visiting Professor position


Formal techniques for specifying and verifying the behavior of concurrent and distributed systems. Temporal, Modal and Stochastic Logics.


The position involves specific and qualified research activities in stochastic process algebras and associated logics, markovian calculi and associated analytical tools. Moreover it will be required to collaborate to the scientific activities of the SysMA Unit and will involve collaboration in supervising PhD students, managing research tasks, conducting research seminars.


Expertise in tool development, stochastic process algebras, languages and models for collective adaptive systems.

Formal requirements:

Excellent knowledge of English, both written and spoken. The candidate must have a curriculum with a suitable scientific background for carrying out research activity in the required field. PhD in Computer Science or in a related field.


Research Area:
Computer Science and Systems Engineering
Research Unit:
SysMA - System Modelling and Analysis
Type of contract:
Contratto di lavoro autonomo
Gross remuneration:

9.000 €


6 months.

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

Recruitment Program Principles and Standards


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


  • Personal info and contact info (compulsory)


  • Your CV in English (compulsory)