postdoc opportunity - UK - exact real number arithmetic

[David G. Hough at validgh]

> Date: Fri, 18 Oct 1996 17:47:13 +0100 (BST)
> From: Abbas Edalat <uunet!doc.ic.ac.uk!ae>
> 
> Programming Languages for Exact Real Number Computation:
> Theory and Implementation
> 
> This project is funded by the EPSRC and is led by Dr Abbas Edalat and
> Prof. Chris Hankin.  We are seeking to appoint a postdoctoral research
> assistant.  The successful candidate will be appointed on the RA 1A
> scale (14317 - 21519 + 2134 London Allowance) for two years (in the first
> instance).
> 
> We are developing a framework for real number computation based on 
> continued fractions, linear fractional transformations, domain
> theory, semantics and abstract interpretation.  The framework is independent
> of any programming paradigm and is already being implemented in C++. 
> The project also aims
>  to implement it in a prototypical functional programming language.   Work on 
> continued fractions, linear fractional transformations, domain theory and
> semantics is being applied to the development of techniques for exact real
> number programming.  Work on static analysis based on abstract interpretation
> will be applied to the design and implementation of algorithms for code
> optimisation.  It is expected that, in the long term, the framework will
>  lead to the design of hardware for exact real number computation.
> 
> The successful applicant will be primarily responsible for the implementation
> and abstract interpretation work.
> 
> Applications, with a full CV, should be sent to Prof. Hankin (clhadoc.ic.ac.uk)
> by 1st November 1996.

<PRE>