About this role
Fixed-term: The funds for this post are available for 2 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.
This project involves working with Professor Jamie Vicary's group on research applying categorical methods to the foundations of computer science. Due to the short-term nature of the role, the following skills are essential
Expertise with the type theory Catt for directed globular infinity categories Excellent working knowledge of the combinatorics of higher natural transformations and their composites
Applicants should contact Professor J Vicary for further information - [email protected]
In addition to the base salary stated above, the successful candidate for this post will receive an additional 2.5% supplement to their pay.
To apply online for this vacancy and to view further information about the role, please click the 'Apply' button above.
Please provide a CV and covering letter. If you upload any additional documents which haven't been requested, we will not be able to consider these as part of your application.
Please quote reference NR48728 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. Please note that we provide the support of applying for the relevant visa (if required) and we reimburse the cost of the first visa.