[PT] PhD studentships (2)

[I am resending the following message because the deadline has been 
moved backwards to 6 January. -A.]

Hello,

There will be several studentships available at the University of 
Bath next year. The deadline for applying is January 6, and this 
means that potential candidates have to get in touch now with 
potential supervisors.

The computer science department was ranked 4th out of 81 university 
submissions in the most recent UK Research Assessment Exercise, and 
Bath is the Sunday Times' University of the Year.

We have a strong `math foundations' group here, whose members are

Russell Bradford
<http://www.bath.ac.uk/comp-sci/people/contact/index.php?contact=Dr_Russell_J_Bradford>

Paola Bruscoli
<http://www.cs.bath.ac.uk/pb/>

James Davenport
<http://staff.bath.ac.uk/masjhd/>

Alessio Guglielmi
<http://alessio.guglielmi.name/>

Jim Laird
<http://www.cs.bath.ac.uk/~jl317/index.html>

Guy McCusker
<http://www.cs.bath.ac.uk/~gam23/GuyMcCusker/Home.html>

John Power
<http://www.bath.ac.uk/comp-sci/people/contact/index.php?contact=Dr_John_Power>

Nicolai Vorobjov
<http://people.bath.ac.uk/masnnv/>

If you are a potentially excellent researcher and interested in the 
kind of proof theory that we do here (chech at 
<http://alessio.guglielmi.name/res/cos/>), then I would be very happy 
to hear from you.

-Alessio