Logic List Mailing Archive

Research studentship (3 years) in foundations of computing (Swansea, Wales)

There will be a 3 year EPSRC research studentship in Mathematics at 
Swansea associated with the EPSRC grant EP/C525361 - Foundations of 
computing with continuous data: algorithms versus experiments with 
physical systems. (Prof. J.V.Tucker (Dept of Computer Science) & E.J.Beggs 
(Dept of Mathematics))

The project is concerned with the computability of mathematical structures 
such as functional analysis and differential geometry, and their 
applications to the computability of mathematical models of physical 
systems (e.g. Hamiltonian or Newtonian mechanics).

Any candidate should have a good understanding of analysis, functional 
analysis and possibly differential geometry. They should have an interest 
in learning and applying ideas on computability and logic to new areas.

Start date - Oct 2005 (negotiable within limits). The funding is at the 
standard EPSRC rate, with a little extra money for travel.

The student will join a research team including Prof. J.V.Tucker, Dr. 
E.J.Beggs and a research assistant.

For further information please contact E.J.Beggs@swansea.ac.uk .

          Many thanks,     Edwin Beggs