[TYPES/announce] Lecturer in Computer Science position available at Royal Holloway, University of London (deadline: 17 Oct 2018)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Lecturer in Computer Science Department of Computer Science, Royal Holloway, University of London (UK) Application closing date: Wednesday 17 October 2018

[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for a PhD position "Efficient and natural proofs and algorithms" Funding: Competition funded (EU/UK) Deadline: 31 October 2018 - early application recommended