Back to jobs
University of Cambridge
Research Assistant/Associate (Fixed Term)
Cambridge On-site 2-5 yrs exp
Catt Type TheoryDirected Globular Infinity CategoriesHomotopy.ioGraphical Proof AssistantsHigher Natural Transformations
Requirements
Candidates must have expertise in Catt for directed globular infinity categories, experience developing and using homotopy.io, and strong knowledge of the combinatorics of higher natural transformations and their composites. A PhD in Computer Science or a relevant subject is required or near completion; appointment as a Research Associate requires a PhD or equivalent skills and experience.
Job Description
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.
Skills
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
Successful candidates will hold (or be close to completing) a PhD in Computer Science or a relevant subject area. Appointment at the research associate level depends upon having a PhD or equivalent skills and experience through non-academic routes. Where a PhD has yet to be awarded appointment will initially be made as a Research Assistant and amended to Research Associate when the PhD is awarded. Additional information about the skills required for the position can be found in the further particulars.
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.
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.
Skills
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
Successful candidates will hold (or be close to completing) a PhD in Computer Science or a relevant subject area. Appointment at the research associate level depends upon having a PhD or equivalent skills and experience through non-academic routes. Where a PhD has yet to be awarded appointment will initially be made as a Research Assistant and amended to Research Associate when the PhD is awarded. Additional information about the skills required for the position can be found in the further particulars.
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.
Education
Postgraduate Degree
Skills
Catt Type TheoryDirected Globular Infinity CategoriesHomotopy.ioGraphical Proof AssistantsHigher Natural TransformationsCombinatoricsCategorical MethodsFoundations of Computer Science