Research Associate on proof complexity and circuit complexity

We are looking for a motivated Research Associate to conduct research on the Royal Society project `Proof complexity and circuit complexity’.

The primary selection criteria are holding a relevant PhD/DPhil (or be close to completion) in Computer Science or related discipline, together with relevant experience or recently submitted thesis for such a degree; an extensive knowledge of computational complexity theory and mathematical logic, and a strong publication record in this area.

You will be expected to manage your own research and administrative activities, adapt existing and develop new scientific techniques in the area of proof and circuit complexity, contribute to wider project planning, including ideas for new research projects, contribute to scientific reports and journal articles and the presentation of papers at conferences and workshops, contribute to discussions and share research findings with colleagues in partner institutions, and research groups.

Whilst the role is a Grade 7 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at Grade 6 (Grade 6: £32,332 – £38,205 p.a.) with a title of Research Assistant with the responsibilities adjusted accordingly. This would be discussed with applicants at interview/appointment where appropriate.

We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department.

The closing date for applications is 12 noon on 29 January 2024. Interviews are expected to be held in February.

We are a Stonewall Top 100 Employer, Living Wage, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.

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 http://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 shared parental leave.

Demonstrating a commitment to provide equality of opportunity. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.