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.
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.
9.000 €
6 months.
Application
Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info
- Personal info and contact info (compulsory)
Attachments
- Your CV in English (compulsory)