[J1] ================================================ AMAST Links 02 06

                    Postdoctoral Research Position
                       Imperial College (London)
                        Department of Computing

  Applications are invited for a two year postdoctoral position to 
start as soon as possible to work with Abbas Edalat on the EPSRC 
project "Foundational Structures in Computer Science" under the 
subtitle "Computational Measure and Integration Theory". The post is 
one of four in the project; other investigators include Samson 
Abramsky, Mike Smyth and Steve Vickers. It has arisen as a result of 
the develpment of  a new order-theoretic measure and integration theory
at the interface of mainstream mathematics and theoretical computer 
science.  The aim will be to investigate various topological, 
measure-theoretic and domain-theoretic aspects of the new theory as 
well as its various applications. Candiates should have a PhD in 
Mathematics or Theoretical Computer Science with a strong background 
in General Topology. They should also have knowledge of at least one 
of Classical Measure Theory and Continuous Lattice Theory (Domain 
Theory), as well as the serious willingness to acquire knowledge of 
the other. 

  Salary (including London allowance) will be on the R&A IA scale
(17,700-19,947 pounds a year).

  Informal enquiries should be directed to Abbas Edalat.

  Applicants are required to send a CV, a list of publications, a
description of current and past research interests and the names and
addresses (including email) of two referees either by post or email to
   Abbas Edalat (ae@doc.ic.ac.uk)
   Department of Computing
   Imperial College
   180 Queen's Gate
   London SW7 2BZ.