research post at Kent

• To: types-request@dcs.gla.ac.uk
• Subject: research post at Kent
• From: dat <D.A.Turner at ukc.ac.uk>
• Date: Tue, 13 Aug 96 17:58:08 GMT
• Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

                University of Kent at Canterbury

                       Computing Laboratory

          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
October 1996.

Salary on the  1A  Research  scale  14,317  -  19,848  pounds.   Further
particulars are available from

  The Personnel Office,
  The Registry,
  The University,
  Canterbury,
  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: 
	http://www.ukc.ac.uk/computer_science/

CLOSING DATE: Friday 30 August 1996.

The University is committed  to  implementing  its  Equal  Opportunities
Policy

                UNIVERSITY OF KENT AT CANTERBURY

   "Excellence in Higher Education at Britain's European University"

• Prev: Tech. Rep. on specialization inheritance and lambda-&-calculus
• Next: Kanellakis Award
• Index(es):
  • Main
  • Thread