Oxford University Computing Laboratory has a vacancy for a fixed-term 3 year Departmental Lectureship starting October 1st and ending September 30th 2012. The successful candidate will be expected to lecture two courses per year, namely: * Categories, Proofs and Processes http://web.comlab.ox.ac.uk/teaching/courses/20082009/catsproofsprocs/ * Quantum Computer Science http://web.comlab.ox.ac.uk/teaching/courses/20082009/quantum/ Each of these courses involves twenty hours of lecturing per year. He will carry out research, including supervision, in a group under joint direction of Samson Abramsky and Bob Coecke: http://web.comlab.ox.ac.uk/activities/quantum/ More details are available form: http://www.comlab.ox.ac.uk/news/documents/CatsQCSLectureship-fps.pdf and you can contact Samson Abramsky <samson@comlab.ox.ac.uk> and Bob Coecke <coecke@comlab.ox.ac.uk>. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]