Postdoc and PhD positions in Aarhus

[Lars Birkedal <birkedal@cs.au.dk>]

Dear Colleagues,

We are looking for PhD students and postdocs in the area of
Programming, Logic and Semantics, here at Aarhus University, Denmark.
Several positions are available, in projects ranging from automated
static and dynamic analysis of libraries and frameworks for web
applications; theories and tools for language-based security; theories
and tools for modular reasoning about higher-order concurrent
imperative programs; and type theory and interactive proof assistants.

Please circulate this announcement to potential applicants and
encourage them to get in contact with one of us.

Best wishes,

Aslan Askarov (aslan@cs.au.dk<mailto:aslan@cs.au.dk>)
Lars Birkedal (birkedal@cs.au.dk<mailto:birkedal@cs.au.dk>)
Olivier Danvy (danvy@cs.au.dk<mailto:danvy@cs.au.dk>)
Anders Møller (amoeller@cs.au.dk<mailto:amoeller@cs.au.dk>)


Students interested in pursueing a PhD should apply
at the Graduate School for Science and Technology
  http://talent.au.dk/phd/scienceandtechnology/
(next deadline May 1, 2015).  They are encouraged to get
in contact with one of us before applying.

Potential postdocs should get in contact with us directly.
Positions are typically for 2 years.

Salary and working conditions for PhD students
and postdocs are very competetive.

—
Lars Birkedal
Head of Department of Computer Science, Professor
Head of Logic and Semantics Group
Department of Computer Science
Aarhus University
www.cs.au.dk/~birke<http://www.cs.au.dk/~birke>
birkedal@cs.au.dk<mailto:birkedal@cs.au.dk>




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]