Lecturership in Computer Science – 4.5 hours (3.5 hours Stipendiary plus 1 hour Class A Non-Stipendiary)

A 4.5-hour Lecturership in Computer Science (3.5 hours Stipendiary plus 1 hour Class A Non-Stipendiary) for one year from 1 October 2026, providing tutorial teaching in Models of Computation, Computer-Aided Verification, Introduction to Proof Systems, and Logic and Proof to small groups of undergraduates. The post-holder will teach 4.5 weighted hours per week averaged over three terms and participate fully in College Computer Science tuition, admissions, examinations, and pastoral care.

• Teach 4.5 weighted hours per week averaged over the three terms of the academic teaching year to small groups of undergraduates
• Provide tutorial sessions and revision classes in Models of Computation, Computer-Aided Verification, Introduction to Proof Systems, and Logic and Proof
• Arrange tuition in Computer Science as part of the College tutoring team
• Participate in the admissions process for Computer Science
• Set and mark College examinations
• Take a role in the pastoral care of undergraduates

The posting does not explicitly state candidate eligibility criteria, but the role is a specialized Lecturership in Computer Science requiring teaching competence in Models of Computation, Computer-Aided Verification, Introduction to Proof Systems, and Logic and Proof.