[TYPES/announce] Lectureships available at Sussex University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The Department of Informatics at the University of Sussex (UK) is advertising TWO positions, a Senior Lectureship in Computer Science (equivalent to Associate Professor)

[TYPES/announce] postdoctoral positions at IRIF, Paris, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IRIF (CNRS and Université de Paris), Paris, France, is seeking excellent candidates for postdoctoral positions in all areas of the Foundations of Computer Science. Every year, 5-10 new

[TYPES/announce] Fully funded PhD position in categorical semantics

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I have a fully funded 3.5-year PhD position in logic and category theory available at the Department of Informatics of the University of Sussex, UK. Below is a possible project