Process Algebras

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
Full call
Final ranking

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: