[TYPES/announce] 3 full professor positions at DIKU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science at the University of Copenhagen (DIKU, http://www.diku.dk) has openings for up to 3 full professor positions in programming languages and systems (1 or 2 a

[TYPES/announce] PhD studentships at Nottingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, the School of Computer Science at Nottingham is advertising 3 PhD positions (see attached), areas include Functional Programming (in our view this includes Applications of Category