[TYPES/announce] postdoc position, immediately

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I invite applications for one postdoctoral position, starting September 1 or as soon as possible, at Dalhousie University under my supervision. The position is initially

[TYPES/announce] PhD Position availalble

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Position in Category Theory and Functional Programming Department of Computer and Information Sciences University