* PhD positions, application deadline May 1, 2016
@ 2016-03-29 11:00 Lars Birkedal
0 siblings, 0 replies; only message in thread
From: Lars Birkedal @ 2016-03-29 11:00 UTC (permalink / raw)
To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
categories-59hdLBrVOVU, SECURITY-eTDtUvqF9qAq7nC9nEY4TA
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
http://talent.au.dk/phd/scienceandtechnology/opencalls/
for how to apply.
Best wishes,
Lars Birkedal
—
Lars Birkedal
Head of Department of Computer Science, Professor
Head of Logic and Semantics Group
Department of Computer Science
Aarhus University
www.cs.au.dk/~birke
birkedal@cs.au.dk
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-03-29 11:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-29 11:00 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).