1 Visiting Professor position
(Deadline March 3rd, 2014 12:00 )
Fields
Algebraic process description languages and techniques to support specification and reasoning on reactive systems. Structural Operational Semantics, fixed points, behavioral equivalence, formats and axiomatization.
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
PhD in Computer Science or related areas.
Specific requirements
Experience on process algebras and associated reasoning machinery.
Duration
2 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: