University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Research Associate - Resources and Co-resources

Applications for this vacancy closed on 4 November 2019 at 12:00PM
We are recruiting a Research Associate in theoretical computer science, on a
fixed-term contract of up to 36 months. The post is funded by an EPSRC project
on “Resources and co-resources: a junction between semantics and descriptive
complexity” which is jointly led by Professor Samson Abramsky FRS at Oxford,
and Professor Anuj Dawar at the University of Cambridge.



The project seeks to explore ways in which methods from the study of logic and
algorithms (specifically finite model theory and descriptive complexity) can
be combined with methods from semantics (such as category theory) to build a
cohesive algebraic theory of resources. This builds on recent work obtaining
categorical accounts of essential constructions in finite model theory (by
Abramsky, Dawar and Wang and Abramsky and Shah), as well as categorical
accounts of quantum resources (by Abramsky, Barbosa, de Silva and Zapata).
This work made essential use of monads – seen as encapsulating quantum and
other resources – and of comonads, which encapsulate “coresources”, i.e. ways
of limiting access to a structure corresponding to definability in various
logics. The project will seek to apply these new tools to major results in
descriptive complexity, to expand them to cover other important constructions,
to find ways of combining accounts of quantum resources and logical co-
resources, and to build a general theory of these.



Professor Abramsky leads a group of researchers and doctoral students working
on topics in semantics, type theory and quantum computing. This is part of the
Foundations, Structure and Quantum group within the Department of Computer
Science at the University of Oxford. The successful candidate will join this
group and also be expected to work closely with the group led by Professor
Dawar at Cambridge. The project also involves collaboration with a number of
other research groups in Europe and the United States.



We seek candidates who hold (or are close to completing) a PhD degree in
computer science, mathematics or a closely-related area. Candidates should
have a strong background in areas of theoretical computer science such as
logic, complexity or semantics, ideally with published work in the area.



The closing date for applications is 12.00 noon on Monday 4 November 2019.
Interviews are expected to be held week commencing 11 November 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 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-11-04 12:00:00+00:00
vacancy:applicationOpeningDate
2019-10-03 09:00:00+01:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment

We are recruiting a Research Associate in theoretical computer science, on a fixed-term contract of up to 36 months. The post is funded by an EPSRC project on “Resources and co-resources: a junction between semantics and descriptive complexity” which is jointly led by Professor Samson Abramsky FRS at Oxford, and Professor Anuj Dawar at the University of Cambridge.


The project seeks to explore ways in which methods from the study of logic and algorithms (specifically finite model theory and descriptive complexity) can be combined with methods from semantics (such as category theory) to build a cohesive algebraic theory of resources. ...

We are recruiting a Research Associate in theoretical computer science, on a
fixed-term contract of up to 36 months. The post is funded by an EPSRC project
on “Resources and co-resources: a junction between semantics and descriptive
complexity” which is jointly led by Professor Samson Abramsky FRS at Oxford,
and Professor Anuj Dawar at the University of Cambridge.



The project seeks to explore ways in which methods from the study of logic and
algorithms (specifically finite model theory and descriptive complexity) can
be combined with methods from semantics (such as category theory) to build a
cohesive algebraic theory of resources. ...
label
Research Associate - Resources and Co-resources
notation
143249
based near
page