Two year postdoc position available at University of Sussex
University of Sussex http://www.susx.ac.uk/
School of Cognitive
Computing Sciences http://www.cogs.susx.ac.uk/
Foundations of Computation/ Software Systems Research Groups
Vacancy for a Research Fellow
A postdoctoral research fellow is required for a two year EPSRC funded
"SafetyNet - Language Techniques for Implementing Policies in
under the direction of Dr I. Wakeman, Dr D. Watson and Dr J. Rathke.
This is an ideal position for candidates who have a sound knowledge of
the semantics of programming languages (type systems, static analysis,
operational semantics etc) looking to ground their work in a practical setting.
They will be given the opportunity to apply, and develop, existing theory
to the SafetyNet language for programmable networks which has been in
development at the University of Sussex for the past few years:
Moreover, they will be able to see practical results from their
efforts as the theoretical work will be conducted alongside another
research fellow appointed on the project with expertise in compiler
techniques who will be responsible for implementation.
An overview of the project is as follows:
"The programmable network will form the basis for the pervasive
computing infra-structure, in which applications and appliances are
available anywhere, anytime. One of the requirements is that the
owners of network devices allow third parties to program the devices,
subject to the policies of the device owner. A major challenge for the
pervasive infra-structure is in providing the dials and knobs through
which the policies of the device owners can be executed.
Our aim is to investigate how far static language and compilation
techniques can be used to provide the control methods through which
policies on third party program execution can be implemented. We aim
to use recent advances in the semantics of programming languages
combined with compiler analysis techniques to make information about
the behaviour of a program available before it is run. This
information will be available as type information in any code which is
loaded onto a machine, so that the device or device manager can make
decision about whether it satisfies its own particular policy
We believe that the pervasive network will only be successful if there
is an economic structure to manage the network of processing nodes.
A secondary effect is that programmers will be able to reason a priori
about the behaviour of their programs over a network of processing
locations of various capabilities and prices. We propose over the
course of the project to provide a programmers toolkit which will
allow programmers to benchmark their programs against particular
The position is available from 1st Oct 2001. A Ph.D. in Computer
Science or equivalent experience is required. In addition to normal
research duties the successful candidate may be asked to provide
a small amount of assistance to undergraduate teaching.
The salary will be £17,451 - £26,229 pa (Research & Analogous Scale
1A) commensurate with age and experience.
To apply please submit applications NOW to
Dr Ian Wakeman
School of Cognitive and Computing Sciences
University of Sussex
Brighton BN1 9QH
Tel: +44 1273 678195
from whom more details of the project and the conditions of service are available.
Informal queries regarding the position may also be forwarded to Dr Julian Rathke
Applications should include:
a detailed curriculum vitae,
names of two referees with their email addresses,
a statement outlining the candidate's suitability for and proposed contributions to the project,
copies of (or URL references for) any relevant publications.