[TYPES/announce] Postdoc and PhD positions in Aarhus

Lars Birkedal birkedal at cs.au.dk
Fri Feb 20 09:49:11 EST 2015



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 at cs.au.dk<mailto:aslan at cs.au.dk>)
Lars Birkedal (birkedal at cs.au.dk<mailto:birkedal at cs.au.dk>)
Olivier Danvy (danvy at cs.au.dk<mailto:danvy at cs.au.dk>)
Anders Møller (amoeller at cs.au.dk<mailto:amoeller at 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 at cs.au.dk<mailto:birkedal at cs.au.dk>




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150220/d0ebbebb/attachment.html>


More information about the Types-announce mailing list