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.