Course:  Logic Progamming

Type:  Tutor

Time in Year:  Course runs in Semester 1.

Number of Posts:  1-2

There are 8 sessions for each tutorial group. Each tutor will be expected to take 1 group.

There will be specific exercises set in advance of the tutorial, and all students are expected to prepare these prior to the tutorial session.  The tutor's job is to lead the group through the exercises, answer questions etc.

The tutor will need to be familiar with Prolog programming and the mathematical semantics of logic programs.  Having done well in a Logic Programming course, and some familiarity with related material in courses on artificial intelligence, Language Semantics and Implementation, or Automated Reasoning, would be suitable preparation.

This post is paid at grade UE06, currently upwards of £12.50/hr.

Total Hours:  8 contact hours (4 sessions/group, 2 groups)

Contact:   Alan Smaill and James Cheney

Application:  Apply by email to and copy your email to Alan and James so that they know that you are interested.

Home : Admin : ITO : Jobs : 2010 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh