University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate on Topics in Higher-order Probabilistic Computation

Applications for this vacancy closed on 8 March 2019 at 12:00PM
We are pleased to announce the availability for a full-time postdoctoral
researcher for up to 15 months, starting as soon as possible. Reporting to
Professor Luke Ong, this project will involve investigating topics in higher-
order probabilistic computation.



As a researcher on this project, you will be expected to conduct research on
one of the following topics: s-finite semantics of (higher-order) statistical
probabilistic programs, and applications to Bayesian metaprogramming;
automatic density calculation and Bayesian inference via disintegration;
analysis of almost-sure termination properties of higher-order statistical
probabilistic programs; game semantics of (higher-order) statistical
probabilistic programs. The exact scope of the research will depend on the
skill set and experience of the successful candidate. You will be expected to
manage your own academic research projects, to develop your ability to
collaborate in the preparation of scientific reports and journals, and
represent your research at workshops, conferences or meetings.



You should have a PhD/DPhil (or be close to completion) in computer science or
mathematics with a strong background in one or more of the following:
semantics of computation, programming languages, lambda calculus and types,
category theory, probability and measure theory, and machine learning. You
will be able to manage your own research projects and possess excellent
communication skills, to write for publication and present research to others.
Experience of actively collaborating in the development of research articles
for publication is highly desirable.



The closing date for applications is 12.00 noon on 8 March 2019.



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
http://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
2019-03-08 12:00:00+00:00
vacancy:applicationOpeningDate
2019-02-22 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

We are pleased to announce the availability for a full-time postdoctoral researcher for up to 15 months, starting as soon as possible. Reporting to Professor Luke Ong, this project will involve investigating topics in higher-order probabilistic computation.


As a researcher on this project, you will be expected to conduct research on one of the following topics: s-finite semantics of (higher-order) statistical probabilistic programs, and applications to Bayesian metaprogramming; automatic density calculation and Bayesian inference via disintegration; analysis of almost-sure termination properties of higher-order statistical probabilistic programs; game semantics of (higher-order) statistical probabilistic programs. The exact scope of the research will ...

We are pleased to announce the availability for a full-time postdoctoral
researcher for up to 15 months, starting as soon as possible. Reporting to
Professor Luke Ong, this project will involve investigating topics in higher-
order probabilistic computation.



As a researcher on this project, you will be expected to conduct research on
one of the following topics: s-finite semantics of (higher-order) statistical
probabilistic programs, and applications to Bayesian metaprogramming;
automatic density calculation and Bayesian inference via disintegration;
analysis of almost-sure termination properties of higher-order statistical
probabilistic programs; game semantics of (higher-order) statistical
probabilistic programs. The exact scope of the research ...
label
Research Associate on Topics in Higher-order Probabilistic Computation
notation
139579
based near
page