Stochastic process algebras and associated logics, languages and tools

The position involves specific and qualified research activities in stochastic process algebras and associated logics, markovian process algebras 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 and conducting research seminars.

The successful candidate must be expert in tool development, stochastic process algebras, languages for collective adaptive systems.

4 months