[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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