Research Assistant/Research Associate in Cambridge

Fixed-term: The funds for this post are available for 3 months.

The Department of Computer Science and Technology is an academic department that encompasses computer science along with many aspects of engineering, technology and mathematics. We have a worldwide reputation for academic research with consistent top research ratings. The Department has an open and collaborative culture, supporting revolutionary fundamental computer science research, strong cross-cutting collaborations internally and externally, and ideas which transform computing outside the University. Please follow the link at: https://www.cst.cam.ac.uk to find out more about our department.

We would like to appoint a full-time Research Associate.

This project involves working with the group of Professor Jamie Vicary on a project that applies categorical methods to the foundations of computer science. Due to the short-term nature of this project, the following skills are essential:

• Expertise with the type theory Catt for directed globular infinity categories

• Expertise working with the graphical proof assistant homotopy.io, including development and use

• Excellent working knowledge of the combinatorics of higher natural transformations and their composites

Appointment at the Research Associate level is dependent on the award of a PhD. This is a postdoctoral-level appointment, those who have submitted but not yet received their PhD will be appointed at the Research Assistant -Grade 5, which will be amended to Research Associate-Grade 7 once the award of the PhD has been conferred.

Applicants should contact Professor J Vicary for further information ¿ jv258@cam.ac.uk

In addition to the base salary stated above, the successful candidate for this post will receive an additional 2.5% supplement to their pay.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK. Please note that we provide the support of applying for the relevant visa (if required) and we reimburse the cost of the first visa.

Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.

Required documents include a cover letter and curriculum vitae and contact information for two references. If you upload any additional documents, which have not been requested, we will not be able to consider these as part of your application.

Please quote reference NR51702 on your application and in any correspondence about this vacancy.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.