Postdoctoral Position in Programming Languages at KU Leuven The Declarative Languages and Artificial Intelligence (DTAI) group of KU Leuven (Belgium) invites applicants for a postdoctoral position in the area of programming languages. This position has been created at the occasion of the new appointment of prof. Tom Schrijvers as research professor at KU Leuven. The position's aim is to reinforce the research activities in functional programming, logic programming and/or programming language theory. To apply you must hold a recent PhD (or be about to graduate) in one of the above areas of programming languages. Candidates are expected to have high-quality publications in peer-reviewed conferences and journals. The postdoc will work closely with prof. Schrijvers and his PhD students, participate in ongoing research activities and enjoy the freedom to develop new lines of research. The position is for 2 x 1 year and can be further extended. The salary is competitive and the starting date negotiable. Moreover, KU Leuven's policy of equal opportunities and diversity applies to this position. Please send your application to prof. Tom Schrijvers (tom dot schrijvers at cs dot kuleuven dot be) by October 15, 2014. Your application should contain: - A cover letter explaining your interest in the position. - Your curriculum vitae. - A short research statement (max. 3 pages). - The names and contact details of three people who can, if asked, write letters of reference.