The Coq mailing list

[smriis AT dcs.qmul.ac.uk]

PhD Positions in Logic and Theoretical Computer Science Queen Mary,
University of London

Queen Mary is one of the leading universities in the UK with a very strong
track record of research in logic and theoretical computer science. We
have a vibrant research community and a wide variety of current projects
spanning such areas as program verification and model checking,
concurrency, logic for dynamical systems, information theory for program
analysis, knowledge representation, categorical logic, denotational
semantics, proof theory, mathematics for human-computer interaction,
algorithms, complexity,  combinatorics and network theory.

We are inviting applications for PhD positions starting in September 2005.
We have PhD studentships available, which provide 12500 pounds tax free
(2004 level, will be higher for 2005) of funding. For overseas students
there are also several grants available to cover overseas tuition fees
reducing the fee-level to the level of that of home students. The ideal
candidate will have a good first degree or MSc in Computer Science (or
related subject such as mathematics).  Competition for these funded
positions is intense, so early application (say, by Feb 2005) is advised.
For more on our research group see webpage address here (link to be
inserted here)

Contact Dr Soren Riis 
(smriis/phd AT dcs.qmul.ac.uk)
 for further information
of an academic nature, or Carla Benjamin 
(carla AT dcs.qmul.ac.uk)
 for
information on how to apply.