[TYPES/announce] Associate professor position in computer science at Uppsala University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SENIOR LECTURER (ASSOCIATE PROFESSOR) POSITION IN COMPUTER SCIENCE at Uppsala university, department of Information Technology.

[TYPES/announce] Postdoc positions -- Athens

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] There are openings for postdoctoral research associates at the University of Athens, to work with Yannis Smaragdakis (http://smaragd.org) on program analysis and on programming language

[TYPES/announce] WRiPE '12: deadline extended

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to several requests we've decided to push the submission deadline back a few days to August 3rd (anywhere in the world). We look forward to receiving your submissions.