1 Visiting Professor position
(Deadline November 12th, 2012 12:00 )
Fields
Formal methods in computer science for the verification of qualitative and quantitative properties and in particular stochastic process calculi and their equivalences; performance evaluation of computer systems and networks; foundations of software architecture and engineering
Activity
Specific research activities on software systems modeling and on tool constructions to support such activities.
Formal requirements
PhD in Computer Science.
Specific requirements
Experience in software systems modeling
Duration
1 year 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: