Bas Spitters
2018-07-03 14:41:11 UTC
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
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