[TYPES/announce] PostDoc position at ITU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The IT University of Copenhagen seeks to hire outstanding researchers at its Interdisciplinary Centre for Democracy and Technology (DemTech). The research will be conducted under the supervi

[TYPES/announce] MSR PhD Scholarship, deadline Nov 1: Machine Learning and Natural Language Processing for Types in "Big Code"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] > > > PhD studentship: Microsoft Research PhD Scholarship: >Machine Learning and Natural Language Processing for Ty

[TYPES/announce] lecturer in cyber security vacancies -- university of southampton

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, we are looking for Cyber Security Lecturers from early career (first employment) onwards. Appointment at Associate Professor level possible for exceptional candidates. Salary:

[TYPES/announce] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies, scholarship application deadline in less than 10 days] >> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Langua