Language Semantics and Implementation


Type (Tut/Demo/Other ...):  Tutor/Marker

Time in Year:  Second term weeks 2-9

Number of Posts:  6 (depending on student numbers)

Description:  see http://www.dcs.ed.ac.uk/teaching/cs3/Handbook/html/node30.html tutors should be familiar with operational semantics.  Each tutor will take one tutorial a week and will mark the course work submitted by his or her students (probably three exercises).  Exercise sheets with solutions will be provided for the tutorials (these are distinct from the asssessed practicals).  Tutorial size should be under 10.

Total Hours:  8 Contact hours and 8 preparation hours and 30 marking hours per tutor

Contact:  Colin Stirling, cps@inf.ed.ac.uk or Gordon Plotkin, gdp@inf.ed.ac.uk

Apply to:  tutor-applications@inf.ed.ac.uk


Home : Admin : ITO : Jobs 

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