Research Assistant on Unifying Theories of Generic Programming (internal applicants only)
Posted: 11th February 2015
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 firstname.lastname@example.org.
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:
The closing date for applications is 12 noon on 18 February 2015.
Committed to equality and valuing diversity