1 Visiting Professor position
(Deadline February 7th, 2014 12:00 )
Fields
Formal techniques for specifying and verifying the behavior of concurrent and distributed systems. Temporal, Modal and Stochastic Logics. Expertise in tool development, stochastic process algebras languages for autonomic computing.
Activity
The position involves specific and qualified research activities in stochastic process algebras and associated logics, languages and tools, supervision and management of Scientific Tasks in the framework of the activities of the SysMA Unit and will involve collaboration with the
- Supervision of research activity of PhDs
- Management of research tasks
- Conduction of research seminars
Formal requirements
A PhD in Computer Science or related areas.
Specific requirements
Experience on stochastic process algebras and associated logics, languages and tools.
Duration
10 months
Job Research Area:
CSA
Job Research Unit:
SysMA
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)
Contacts: