University of Oxford

Open Data about the University of Oxford

data.ox.ac.uk

beta

Researcher in Programming Language Theory

Applications for this vacancy closed on 14 March 2016 at 12:00PM
<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>The department has a new opening for a full-time Researcher in Programming Language Theory, fixed-term for 12 months (with the possibility of extension). Reporting to Dr Samuel Staton, you will be a member of the Programming Languages group, and Foundations, Logic and Structures group, working on the &#8216;Quantum computing as a programming language&#8217; EPSRC grant, which aims to use recent developments in programming language theory to build models of probabilistic and quantum computing.</p><br><p>You will be studying equational theories of programs using category theory, building on existing work applying the &#8216;algebraic theory of effects&#8217; to quantum computing, for example, to extend it to analyse approximation and continuity.</p><br><p>The primary selection criteria are a doctoral degree (or very close to completion) in a relevant area of Computer Science or a related discipline, together with competence in mathematical techniques (especially logic and category theory). Experience with equational theories of programming languages (for example, the monadic metalanguage or the algebraic theory of effects), or with probabilistic or quantum computation are highly desirable.</p><br><p>The closing date for applications is 12.00 noon on 14 March 2016. Interviews are expected to be held on 30/31 March 2016.</p> </div>
dc:spatial
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Subject
oo:contact
oo:formalOrganization
oo:organizationPart
vacancy:applicationClosingDate
2016-03-14 12:00:00+00:00
vacancy:applicationOpeningDate
2016-02-12 09:00:00+00:00
vacancy:furtherParticulars
vacancy:internalApplicationsOnly
False
vacancy:salary
type
comment
The department has a new opening for a full-time Researcher in Programming
Language Theory, fixed-term for 12 months (with the possibility of extension).
Reporting to Dr Samuel Staton, you will be a member of the Programming
Languages group, and Foundations, Logic and Structures group, working on the
‘Quantum computing as a programming language’ EPSRC grant, which aims to use
recent developments in programming language theory to build models of
probabilistic and quantum computing.



You will be studying equational theories of programs using category theory,
building on existing work applying the ‘algebraic theory of effects’ to
quantum computing, for example, to ...

The department has a new opening for a full-time Researcher in Programming Language Theory, fixed-term for 12 months (with the possibility of extension). Reporting to Dr Samuel Staton, you will be a member of the Programming Languages group, and Foundations, Logic and Structures group, working on the ‘Quantum computing as a programming language’ EPSRC grant, which aims to use recent developments in programming language theory to build models of probabilistic and quantum computing.


You will be studying equational theories of programs using category theory, building on existing work applying the ‘algebraic theory of effects’ to quantum computing, for example, to ...

label
Researcher in Programming Language Theory
notation
122106
based near
page