Course: Logic Progamming
Type: Tutor
Time in Year: Course runs in Semester 1.
Number of Posts: 1-2
Description:
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.
Skills:
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 tutor-applications@inf.ed.ac.uk and copy your email to Alan and James so that they know that you are interested.
