research vacancy at sussex

• To: types@cis.upenn.edu
• Subject: research vacancy at sussex
• From: Matthew Hennessy <matthewh@cogs.susx.ac.uk>
• Date: Wed, 19 Feb 2003 15:58:22 +0000 (GMT)

                       UNIVERSITY OF SUSSEX
            RESEARCH FELLOW IN THE FOUNDATIONS OF COMPUTING

A Research Fellow is required for a  project entitled 
''MIKADO:Mobile Calculi based on Domains'' funded by the EU Global
Computing Initiative. The successful candidate will be expected to
work on 
    - type systems for resource protection and security in mobile
           systems
    - co-inductive proof techniques for mobile agents.
For more details  visit the project website http://mikado.di.fc.ul.pt/


The position is available immediately and will last until the
end of 2004. The salary will be related to the academic 1A scale. A
Ph.D. in Computer Science or Mathematics or equivalent experience is
required. In addition to normal research duties the successful
candidate will be expected to provide some assistance to undergraduate
teaching.


To apply please submit applications to 

Matthew Hennessy
School of COGS
University of Sussex
Falmer
Brighton BN1 9QH
UK

Tel: +44 01273 678101                      
email: matthewh@cogs.sussex.ac.uk

from whom more details of the project and the conditions of service
are available.

Applications should include 
    - a detailed curriculum vitae, 
    - names of three referees with their email addresses, 
    - copies (or URL references) of any relevant publications.

• Prev: AMILP III Announcement
• Next: WSSA 2003: Call for Participation
• Index(es):
  • Main
  • Thread