University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate on Probabilistic and Differentiable Programming

Applications for this vacancy closed on 14 April 2020 at 12:00PM
A full-time postdoctoral researcher post, fixed-term for 2 years (with the
possibility of extension), reporting to Professor Luke Ong, is available to
investigate topics in probabilistic and differentiable programming.



The appointee will work on one or more of the following topics: automatic
analysis of (positive) almost-sure termination of classes of differentiable,
statistical programs using martingales; verification and static analysis of
correctness and convergence properties of inference algorithms (including
variational inference) using a variety of formal methods; notions of
differentiability of densities of (higher-order, recursive) statistical
programs, and semantics and pragmatics of deep statistical programming
languages; automatic compilation to densities, disintegration algorithms, and
symbolic Bayesian inference. The exact scope of the research will depend on
the skills and experience of the successful candidate.



Candidates should have a PhD (or be very near completion) in computer science
or mathematics with a strong background in one or more of the following:
probabilistic and differentiable programming, statistical machine learning,
Bayesian deep learning, semantics of programming languages, lambda calculus
and types, category theory, probability and measure theory. Experience of
actively collaborating in the development of research articles for publication
is highly desirable.



The primary selection criteria include the abilities to conduct and complete
research projects (as witnessed by peer-reviewed publications), and contribute
ideas for new research projects; and writing skills.



The closing date for applications is 12.00 noon on 14 April 2020.



Our staff and students come from all over the world and we proudly promote a
friendly and inclusive culture. Diversity is positively encouraged, through
diversity groups and champions, for example www.cs.ox.ac.uk/aboutus/women-cs-
oxford/index.html, as well as a number of family-friendly policies, such as
the right to apply for flexible working and support for staff returning from
periods of extended absence, for example maternity leave.

dc:spatial
Department of Computer Science, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2020-04-14 12:00:00+01:00
vacancy:applicationOpeningDate
2020-02-27 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

A full-time postdoctoral researcher post, fixed-term for 2 years (with the possibility of extension), reporting to Professor Luke Ong, is available to investigate topics in probabilistic and differentiable programming.


The appointee will work on one or more of the following topics: automatic analysis of (positive) almost-sure termination of classes of differentiable, statistical programs using martingales; verification and static analysis of correctness and convergence properties of inference algorithms (including variational inference) using a variety of formal methods; notions of differentiability of densities of (higher-order, recursive) statistical programs, and semantics and pragmatics of deep statistical programming languages; automatic compilation to densities, disintegration ...

A full-time postdoctoral researcher post, fixed-term for 2 years (with the
possibility of extension), reporting to Professor Luke Ong, is available to
investigate topics in probabilistic and differentiable programming.



The appointee will work on one or more of the following topics: automatic
analysis of (positive) almost-sure termination of classes of differentiable,
statistical programs using martingales; verification and static analysis of
correctness and convergence properties of inference algorithms (including
variational inference) using a variety of formal methods; notions of
differentiability of densities of (higher-order, recursive) statistical
programs, and semantics and pragmatics of deep statistical programming
languages; automatic compilation to densities, disintegration ...
label
Research Associate on Probabilistic and Differentiable Programming
notation
145607
based near
page