Research Assistant on Unifying Theories of Generic Programming (internal applicants only)

Department of Computer Science, Wolfson Building, Parks Road, Oxford.

Research Assistant on Unifying Theories of Generic Programming
Fixed-term for 6 months

Grade 7: £30,434 - £37,394 p.a.

The Department of Computer Science at the University of Oxford invites applications for the full-time post of Research Assistant on Unifying Theories of Generic Programming, working with Dr Ralf Hinze, Professor Jeremy Gibbons, and Dr Nicolas Wu.

The successful candidate will undertake research in the field of Generic Programming and should have a PhD or equivalent experience in computer science or a related subject (or be close to completion). The ideal candidate will have a strong background in functional programming and datatype-generic programming, as well as knowledge of dependently typed programming, and category theory. Strong problem-solving and programming skills are essential.

Informal enquiries can be addressed to Dr Ralf Hinze at ralf.hinze@cs.ox.ac.uk.

The post, which is a full-time appointment, is available for 6 months, is funded by EPSRC, and has a salary on the University grade 07S scale (currently £30,434 to £37,394 p.a.). This includes membership of the University Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).

For further details and to apply please visit:

https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=117172   

The closing date for applications is 12 noon on 18 February 2015.

Committed to equality and valuing diversity