* PhD positions, application deadline May 1, 2016=
@ 2016-03-29 20:44 Lars Birkedal
0 siblings, 0 replies; only message in thread
From: Lars Birkedal @ 2016-03-29 20:44 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-03-29 20:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-29 20:44 PhD positions, application deadline May 1, 2016= Lars Birkedal
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).