News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD Student Positions in ULTRA group ('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 expected 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 will be expected to start around 2007-10-01; alternative start dates can be discussed. For more information, see http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html.

Please note that this newsitem has been archived, and may contain outdated information or links.