[Pl-seminar] [Fwd: Jeremy Gibbons] Postdoc & PhD positions in Datatype-Generic programming

[Mitchell Wand]

------- start of forwarded message (RFC 934 encapsulation) -------
Return-Path: <types-errors at cis.upenn.edu>
Delivered-To: wand at ccs.neu.edu
Errors-To: types-errors at cis.upenn.edu
From: Jeremy Gibbons <Jeremy.Gibbons at comlab.ox.ac.uk>
To: generic-haskell at cs.uu.nl, haskell at haskell.org,
	eapls at jiscmail.ac.uk, amast at cs.utwente.nl, ipalist at win.tue.nl,
	lics at research.bell-labs.com, relmics-l at mcmaster.ca,
	types at cis.upenn.edu, prog-lang at diku.dk, categories at mta.ca,
	mercury-users at cs.mu.oz.au, sisal-info at sisal.llnl.gov,
	coalgebras at iti.cs.tu-bs.de, seworld at cs.colorado.edu,
	skeletons at dcs.ed.ac.uk, prog-lang at diku.dk, ecoop-info at ecoop.org,
	oose at uni-paderborn.de, generative at rz.tu-ilmenau.de,
	appsem at tcs.informatik.uni-muenchen.de
Cc: rcb at cs.nott.ac.uk
Subject: Postdoc & PhD positions in Datatype-Generic programming
Date: Mon, 10 Mar 2003 15:02:55 GMT

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

Postdoctoral research fellow (University of Nottingham)
Doctoral studentship (University of Oxford)
in DATATYPE-GENERIC PROGRAMMING

The Universities of Nottingham and Oxford have positions available to work
on an EPSRC-supported project entitled "Datatype-Generic Programming",
running for three years and starting on or shortly after 1st August
2003. There is a postdoctoral research fellowship at Nottingham, and a
DPhil studentship at Oxford.

The project is to develop a novel mechanism for parametrizing programs,
namely parametrization by a datatype or type constructor.  The mechanism is
related to parametric polymorphism, but of higher order. We aim to develop
a calculus for constructing datatype-generic programs, with the ultimate
goal of improving the state of the art in generic object-oriented
programming, as occurs for example in the C++ Standard Template Library.
Further details of the project can be obtained from the contacts listed
below.

Applicants for the postdoctoral fellowship should have completed (or
be about to complete) a PhD degree. Preference will be given to
applicants with an excellent knowledge of the calculational style of
reasoning.  Expertise in functional programming, object-oriented
programming and the mathematics of program construction is
required. Send a detailed curriculum vitae and the names and addresses
of two referees to Professor Roland Backhouse, School of Computer
Science and Information Technology, University of Nottingham, Jubilee
Campus, Wollaton Road, Nottingham NG8 1BB, UK, rcb at cs.nott.ac.uk,
www.cs.nott.ac.uk/~rcb, from whom further details can also be
obtained. Electronic applications should be sent in PDF format; other
formats will not be accepted.

The ideal applicant for the DPhil studentship would have (or be about to
obtain) a first- or upper-second class honours degree or equivalent in
computer science, with expertise in functional programming, object-oriented
programming and the mathematics of program construction.  The studentship
pays for all university and college fees, in addition to the standard EPSRC
maintenance grant.  Applicants should follow the procedure described at
www.comlab.ox.ac.uk/oucl/courses/grad02-03/dphil/requirements.html, but
should also mention this position in the application.  For further details
contact Dr Jeremy Gibbons, Oxford University Computing Laboratory, Wolfson
Building, Parks Road, Oxford OX1 3QD, UK, jeremy.gibbons at comlab.ox.ac.uk,
www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html.

The closing date for applications for both positions is Monday 14th April
2003.

Roland Backhouse
Jeremy Gibbons

- -- 
Jeremy.Gibbons at comlab.ox.ac.uk
  Oxford University Computing Laboratory,    TEL: +44 1865 283508
  Wolfson Building, Parks Road,              FAX: +44 1865 273839
  Oxford OX1 3QD, UK.  
  URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html
------- end -------