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/ ]