Time in Year:
Course runs in Semester 1.
Number of Posts:
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
This post is paid at grade UE06,
currently upwards of £12.50/hr.
8 contact hours (4 sessions/group, 2 groups)
Alan Smaill and James Cheney
email to firstname.lastname@example.org and copy your email to Alan and James so that they know that you are interested.
|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