Researcher in Programming Language Theory
Posted: 12th February 2016
Department of Computer Science, Wolfson Building, Parks Road, Oxford.
Researcher in Programming Language Theory
Fixed-term for 12 months (with the possibility of extension)
Grade 7: £30,738 - £37,768 p.a.
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 extend it to analyse approximation and continuity.
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.
The post, which is a full time appointment, is funded by the EPSRC and is available for up to 1 year (with the possibility of extension for another year), has a salary on the University grade 07S scale (currently £30,738 - £37,768 p.a.). This includes membership of the Universities Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).
The closing date for applications is 12 noon on 14 March 2016. Interviews are expected to be held on 30/31 March 2016.
For further details and to apply please visit:
https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=122106
Committed to equality and valuing diversity