Research Associate in Semantics of Computation

Research Associate in Semantics of Computation

[Alex Simpson]

Postdoctoral Research Associate in the Semantics of Computation

The Laboratory for Foundations of Computer Science at the School of
Informatics, University of Edinburgh invites applications for a
postdoctoral research associate, tenable for up to three years, on the
EPSRC-funded project "Linear Observations and Computational Effects"
(EPSRC research grant EP/F042043/1).

The project involves the development of category-theoretic models of
computation and associated type theories, and the application of these
to establishing behavioural properties of programming constructs. The
successful applicant will hold a PhD in a relevant area of theoretic
computer science or mathematics and will have a good knowledge of
category theory and/or type theory and their computer science
applications. The post will be taken up as soon as possible.

Fixed Term: Up to 3 years

Closing date: 30th April 2008

For more information, go to vacancy ref. 3009010 at

  http://www.jobs.ed.ac.uk/
  -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: Alex.Simpson@ed.ac.uk             Tel: +44 (0)131 650 5113
Web: http://homepages.inf.ed.ac.uk/als   Fax: +44 (0)131 667 7209



-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.