[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All, We have a call for new permanent positions at the Department of Computer Science, Aarhus University, with application deadline November 10. Applicants within the areas of ³Algorithms and Data Structures², ³Data-Intensive Systems², and ³Machine Learning² are of special interest, but we welcome strong applicants from other research areas as well. Would be great with strong applicants from the types community! Here is a short link to the official call text: http://tinyurl.com/kmpupck Please circulate this information to potential applicants. Thank you very much in advance, Lars -- Lars Birkedal Head of Department of Computer Science, Professor, Head of Logic and Semantics Group web: www.cs.au.dk/~birke email: birke...@cs.au.dk phone: +45 2383 8546