[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]We have a lectureship in Computer Science available, see http://www2.le.ac.uk/departments/computer-science/documents/vacancies/SEN00310_Further_Particulars.pdf Deadline is 15th January. I am happy to answer any questions about our department. Best wishes for Christmas and the New Year again, Alexander
