From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8511 Path: news.gmane.org!not-for-mail From: Lars Birkedal Newsgroups: gmane.science.mathematics.categories Subject: Postdoc and PhD positions in Aarhus Date: Fri, 20 Feb 2015 14:49:11 +0000 Message-ID: Reply-To: Lars Birkedal NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1424528020 8197 80.91.229.3 (21 Feb 2015 14:13:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 21 Feb 2015 14:13:40 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Sat Feb 21 15:13:32 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YPAoF-00051E-00 for gsmc-categories@m.gmane.org; Sat, 21 Feb 2015 15:13:31 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:36147) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YPAni-0007WU-ML; Sat, 21 Feb 2015 10:12:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YPAng-00035P-V6 for categories-list@mlist.mta.ca; Sat, 21 Feb 2015 10:12:56 -0400 Accept-Language: en-US, da-DK Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8511 Archived-At: 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) Lars Birkedal (birkedal@cs.au.dk) Olivier Danvy (danvy@cs.au.dk) Anders M=F8ller (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. =97 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 birkedal@cs.au.dk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]