[ The Types Forum (announcements only),
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.