University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Researcher on ASHOC

Applications for this vacancy closed on 5 June 2017 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We are pleased to announce the availability for a full-time postdoctoral researcher for up to 21 months, starting as soon as possible. Reporting to Professor Luke Ong, this project will involve investigating topics in the semantics of higher-order computation with probabilistic and other branching constructs.</p><br> <p>As a researcher on this project, you will be expected to undertake some or all of the following objectives; to develop a denotational semantics of higher-order probabilistic computation; to give a unified account of quantitative models of lambda calculus with branching constructs; and/or to construct models of higher-order probabilistic computation as a semantic basis for probabilistic programming. The exact scope of the research will depend on the skill set 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.</p><br> <p>You should have a PhD (or be near 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.</p><br> <p>The closing date for applications is 12.00 noon on 5 June 2017.</p> </div>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2017-06-05 12:00:00+01:00
vacancy:applicationOpeningDate
2017-05-04 09:00:00+01: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 21 months, starting as soon as possible. Reporting to Professor Luke Ong, this project will involve investigating topics in the semantics of higher-order computation with probabilistic and other branching constructs.


As a researcher on this project, you will be expected to undertake some or all of the following objectives; to develop a denotational semantics of higher-order probabilistic computation; to give a unified account of quantitative models of lambda calculus with branching constructs; and/or to construct models of higher-order probabilistic computation as a semantic basis for ...

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



As a researcher on this project, you will be expected to undertake some or all
of the following objectives; to develop a denotational semantics of higher-
order probabilistic computation; to give a unified account of quantitative
models of lambda calculus with branching constructs; and/or to construct
models of higher-order probabilistic computation as a semantic basis ...
label
Researcher on ASHOC
notation
128786
based near
page