[hofa] Fwd: [TYPES/announce] Postdoc and PhD positions - Center for Advanced Software Analysis

[David Van Horn]

-------- Original Message --------
Subject: [TYPES/announce] Postdoc and PhD positions - Center for 
Advanced Software Analysis
Date: Wed, 05 Sep 2012 15:04:20 +0200
From: Anders Møller <amoeller at cs.au.dk>
To: types-announce at lists.seas.upenn.edu

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Several postdoc positions and PhD stipends are available in the 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, with
additional support from IBM Research and Google. The CASA 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. Our
current work involves static analysis and automated testing for
JavaScript and Java web applications, but we wish to expand toward
other programming languages and techniques.

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 <amoeller at cs.au.dk>.

Interested candidates should send an email containing a brief letter
of interest and a CV. Applications will be considered until the
positions are filled.