From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8863 Path: news.gmane.org!not-for-mail From: Lars Birkedal =0A= Newsgroups: gmane.science.mathematics.categories Subject: PhD positions, application deadline May 1, 2016= Date: Tue, 29 Mar 2016 22:44:22 Message-ID: Reply-To: Lars Birkedal =0A= NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1459294423 29114 80.91.229.3 (29 Mar 2016 23:33:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 29 Mar 2016 23:33:43 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Mar 30 01:33:34 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1al38f-0004tg-3B for gsmc-categories@m.gmane.org; Wed, 30 Mar 2016 01:33:33 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48635) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1al38I-00054k-Go; Tue, 29 Mar 2016 20:33:10 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1al38A-00079o-Mn for categories-list@mlist.mta.ca; Tue, 29 Mar 2016 20:33:02 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8863 Archived-At: Dear All, We have openings for PhD students, with application deadline on May 1, 2015. The positions are fully funded and come with a generous scholarship. Please help circulate this call to potential applicants. We are looking for candidates interested in (1) Modular reasoning about concurrent higher-order imperative programs (see http://users-cs.au.dk/birke/modures/). Contact: Lars Birkedal, birkedal@cs.au.dk (2) Guarded homotopy theory, a new project aimed at developing type theories combining ideas from guarded type theory and homotopy type theory. Contacts: Lars Birkedal, birkedal@cs.au.dk and Bas Spitters, spitters@cs.au.dk. (3) Language-based Security, in particular mitigating timing attacks. Contact: Aslan Askarov, aslan@cs.au.dk. Please see=0A= http://talent.au.dk/phd/scienceandtechnology/opencalls/ for how to apply. Best wishes, Lars Birkedal [For admin and other information see: http://www.mta.ca/~cat-dist/ ]