3 PhD Positions at Aarhus University

The Logic and Semantics group at Aarhus University, led by Prof. Dr. Lars Birkedal, has 3 openings for PhD positions:
- a position in the project 'Modular reasoning about concurrent higher-order imperative programs' (see http://www.cs.au.dk/~birke/modures/ or contact Lars Birkedal at birkedal at cs.au.dk)
- a position in a new project 'Guarded homotopy type theory' aimed at developing type theories combining ideas from guarded type theory and homotopy type theory (contact Lars Birkedal at birkedal at cs.au.dk or Bas Spitters at spitters at cs.au.dk)
- a position in the project 'Language-based Security' focusing in particular on mitigating timing attacks (see http://talent.au.dk/phd/scienceandtechnology/opencalls/ or contact Prof. Aslan Askarov at aslan at cs.au.dk).

Application deadline for all positions is May 1st, 2015. For more information, see http://cs.au.dk/research-at-cs/logic-and-semantics/. For information on how to apply, see http://talent.au.dk/phd/scienceandtechnology/opencalls/.