research post at Kent
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
University of Kent at Canterbury
Postdoctoral Research Post in Computer Science
Applications are invited for the above post, funded by the EPSRC, to
work with Professor D A Turner on a project entitled "Elementary Strong
Functional Programming". The aim of the project is to investigate
disciplines of functional programming which ensure termination.
Applicants should have a doctorate in Computer Science or Mathematics,
or an equivalent publication record, and research interests in
functional programming and/or mathematical logic. Experience of a
strongly typed lazy functional language, such as Miranda or Haskell,
will be an advantage. The post is for a three year fixed term from 1
Salary on the 1A Research scale 14,317 - 19,848 pounds. Further
particulars are available from
The Personnel Office,
Kent, CT2 7NZ.
Telephone (01227) 764000 ext. 3674
or (01227) 475482 (24 hour answerphone), Minicom (01227) 823674
or by email request to L.T.Rigden@ukc.ac.uk
PLEASE QUOTE REFERENCE NUMBER A96/82.
Information about the department is at URL:
CLOSING DATE: Friday 30 August 1996.
The University is committed to implementing its Equal Opportunities
UNIVERSITY OF KENT AT CANTERBURY
"Excellence in Higher Education at Britain's European University"