[Prev][Next][Index][Thread]
Opening for Research Assistant at Nottingham
I believe that the following announcement may be of interest to readers
of the types mailing list.
---------------------------------------------------------------------
THE UNIVERSITY OF NOTTINGHAM
DEPARTMENT OF COMPUTER SCIENCE
LANGUAGES & PROGRAMMING GROUP
RESEARCH ASSISTANT
(FIRST-CLASS MODULES FOR COMPONENT-BASED PROGRAMMING)
Required to work on an EPSRC funded project, in collaboration with
Professor Simon Peyton Jones at the University of Glasgow, to
investigate type systems that support component-based programming.
The project has major strands in both theory and practice, including
the development of type systems to make component-based programming
more secure and flexible, and the implementation of these ideas in
practical systems. The project is set in the context of functional
programming languages, and of Haskell in particular. However, it
will also deal with existing and emerging component technologies such
as COM, OpenDoc, and JavaBeans. The person appointed will divide
their time between work on type systems, and work on component and
application frameworks.
Salary will be GBP 16,927 per annum. This post will be offered on a
fixed-term contract for a period of three years, starting not later
than 1 October 1997.
Informal enquiries may be addressed to Dr M P Jones (mpj@cs.nott.ac.uk).
A copy of the proposal may be found at:
http://www.cs.nott.ac.uk/Research/lap/first-class-modules.ps.gz.
Candidates should send a detailed CV, together with the names of two
referees, to Dr M P Jones, Department of Computer Science, The
University of Nottingham, University Park, Nottingham NG7 2RD, UK.
Closing date: 7 July 1997.
---------------------------------------------------------------------