* RA-position in Birmingham
@ 1998-07-09 13:59 Eike Ritter
0 siblings, 0 replies; only message in thread
From: Eike Ritter @ 1998-07-09 13:59 UTC (permalink / raw)
To: categories
The University of Birmingham
School of Computer Science
POSTDOCTORAL RESEARCH FELLOW IN FUNCTIONAL PROGRAMMING
Applications are invited for a Postdoctoral Research Fellow to work
for 16 months on an EPSRC-funded project "XSLAM: The eXplicit
Substitutions Linear Abstract Machine". The investigators of this
project are Dr Eike Ritter and Dr Valeria de Paiva. Applicants should
have a PhD in Computer Science or Mathematics and ideally have
knowledge of one or more of the following areas: functional
programming, type theory, logic, and category theory.
Application forms (returnable by 30 July 1998) and further particulars
available from:
The Director of Staffing Services
The University of Birmingham
Edgbaston, Birmingham, B15 2TT
tel: +44 (0)121 414 6486 (24 hours)
email: staffing@bham.ac.uk
Please quote reference S13958/98 Informal enquiries to:
Dr Eike Ritter
tel: +44 (0)121 414 4772
email: E.Ritter@cs.bham.ac.uk
See also: http://www.cs.bham.ac.uk/school/jobvacancies.html
Working towards equal opportunities.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1998-07-09 13:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-07-09 13:59 RA-position in Birmingham Eike Ritter
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).