PhD position in guarded homotopy type theory

[Bas Spitters]

Lars Birkedal and I just received a Villum grant "Guarded homotopy type theory".
We are looking for a PhD-student. In fact, we have two more positions
available in our group.

Bas Spitters

---
We have openings for PhD students, with application deadline
on May 1, 2015. The positions are fully funded and come with a
generous scholarship.

We are looking for candidates interested in

(1) Guarded homotopy theory, a new project aimed at developing
type theories combining ideas from guarded type theory and homotopy type theory.
Contacts: Lars Birkedal, birk...@cs.au.dk and Bas Spitters, spit...@cs.au.dk.

(2) Modular reasoning about concurrent higher-order imperative
programs (see http://users-cs.au.dk/birke/modures/). Contact: Lars
Birkedal, birk...@cs.au.dk

(3) Language-based Security, in particular mitigating timing attacks.
Contact: Aslan Askarov, as...@cs.au.dk.

Please see
http://talent.au.dk/phd/scienceandtechnology/opencalls/
for how to apply.