1 Visiting Professor position
(Deadline November 12th, 2012 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
Specific research activities on process algebras
Formal requirements
PhD in Computer Science.
Specific requirements
Experience in process algebras
Duration
5 months renewable
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: