[Agda] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming

[Bas Spitters]

Aarhus University in Denmark has a PhD and a postdoc vacancy on the
AFOSR funded project:

Homotopy type theory and probabilistic programming

The goal of the project is to use type theory for probabilistic
programming and computer aided proofs in security.

Postdoc:
http://cs.au.dk/about-us/vacancies/scientific-positions/stillinger/Vacancy/show/985804/5283/
Application deadline: 12 august 2018.

PhD:
http://talent.au.dk/phd/scienceandtechnology/opencalls/calls-on-specific-projects/august-2018/type-theory-probabilistic-computation-and-computer-aided-cryptography-proofs/
Application deadline 1 August 2018 at 11.59 PM MET








Related publications include:
* Florian Faissole and Bas Spitters, Synthetic topology in Homotopy
Type Theory for probabilistic programming
http://www.cs.au.dk/~spitters/ProbProg.pdf
* Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters,
Pierre-Yves Strub, Computer-aided proofs for multiparty computation
with active security, CSF https://eprint.iacr.org/2018/502
* Daniel Huang, Greg Morrisett, Bas Spitters, An Application of
Computable Distributions to the Semantics of Probabilistic Programs,
https://arxiv.org/abs/1806.07966