Fully-Funded PhD Studentships
=============================

Declarative Systems and Software Engineering
Department of Electronics and Computer Science
University of Southampton


The Department
--------------
The Department of Electronics and Computer Science, the largest of its
kind in the UK with 58 academic staff, is organised around a number
of large and active research groups. In the 1996 Research Assessment
Exercise, the Department was rated 5* (the highest) for its research in
Electronics and 5 for its research in Computer Science. There are many
links between the research groups and between the Department and other
University Departments and Industry.
Further details are available at http://www.ecs.soton.ac.uk

The "Declarative Systems and Software Engineering" group covers a wide
range of activities, with the common theme of the programming process
and programming languages (see http://www.dsse.ecs.soton.ac.uk/).


Funding
-------
One or more fully-funded PhD studentships are available at our
department for suitably qualified UK/EU citizens. Normal levels
of remuneration apply, but additional funds may be available for
exceptional candidates. Funding may also be available for citizens
of other countries.


Research Topics
---------------
In particular, the "Declarative Systems and Software Engineering" group
is keen to recruit graduates with good honours degrees in Electronics,
Electrical Engineering, Computer Science, Maths, or Physics to work on
any of the following research topics:

- the further development of program optimisation and analysis
  techniques (partial evaluation, partial deduction, abstract
  interpretation, program transformation,...) for declarative
  programming languages in general and logic programming
  languages in particular
- the application of these techniques to software verification,
  model checking, and inductive theorem proving
- porting these techniques to other high-level programming languages
  (Java, SQL, scripting languages,...)

These PhD studentships will be conducted under the supervision of
Dr. Michael Leuschel (http://www.ecs.soton.ac.uk/~mal).

For further information about the studentships in general,
please look at http://www.ecs.soton.ac.uk/prospectus/phd/ or
contact Anne Donohue at add@ecs.soton.ac.uk

For further information concerning the particular research topics
above, please do not hesitate to contact:

============================================================
Dr. Michael Leuschel (http://www.ecs.soton.ac.uk/~mal)
Declarative Systems and Software Engineering
Department of Electronics and Computer Science
University of Southampton
Highfield, Southampton, SO17 1BJ,  U.K.
Fax: +44 1703 59 3045   Tel: +44 1703 59 3377
============================================================