PhD Student Positions in Computer Science ('Useful Logics,
Types, Rewriting, and their Automation'), Edinburgh, Scotland

Several Ph.D. student positions are available in areas involving research into the theories of logics, types, and rewriting and their applications in reasoning about computer systems and mathematics. The positions are in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group at Heriot-Watt University in Edinburgh. The usual duration of Ph.D. studentships in the UK is 3 years. The Ph.D. supervisors will be Fairouz Kamareddine and/or Joe Wells.

The positions are available immediately. For more information, see http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html. Note that after the original announcement, more positions have become available and the list of possible research topics has been increased.