[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Several postdoc positions and PhD stipends are available in the new Center for Advanced Software Analysis (CASA) at Aarhus University, Denmark, funded by the Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research. The center covers research in program analysis, type systems, testing, language design and programming tools for web application development, with a particular focus on dynamic scripting languages for the web. The postdoc positions are at the level of Research Assistant Professor of Computer Science and are initially for 1.5 years, but they can be extended to 3 years by mutual consent. We welcome researchers with clearly demonstrated experience and skills in one or more of the research areas mentioned above. The PhD positions are administered through the Aarhus Graduate School of Science and include full tuition waiver and a very competitive scholarship. Applications are welcomed from students with at least three years of full-time study. Students with a strong background in Programming Languages will be preferred. For more information, see http://cs.au.dk/CASA/ or contact Associate Professor Anders Møller <amoel...@cs.au.dk>. Prospective applicants are requested to send an email containing a letter of interest, a CV, and references for recommendations. Applications will be considered until the positions are filled.