Location: | Cambridge |
---|---|
Salary: | £29,605 to £33,966 per annum |
Hours: | Full Time |
Contract Type: | Permanent |
Placed On: | 25th September 2024 |
---|---|
Closes: | 6th October 2024 |
Job Ref: | NR43386 |
Applications are invited for a Research Assistant to join Jamie Vicary's group in the Department of Computer Science at the University of Cambridge. The research group focuses on the computational tooling and mathematical foundations of higher category theory, and its applications in computer science, mathematics, and physics.
The Department of Computer Science and Technology is an academic department that encompasses computer science along with many aspects of engineering, technology, and mathematics. With a world-wide reputation for academic research with consistent top research ratings, the Department has an open and collaborative culture supporting revolutionary fundamental computer science research: https://www.cst.cam.ac.uk
The Research Assistant will work with group members on projects related to geometrical constructions on computads for higher categories, including formalisation in a proof assistant.
Requirements:
The role holder will have limited or no previous research experience or the scope of the role will require limited independent judgement and creativity. Since the project duration is short, candidates can only be considered if they have established expertise in computads for higher category theory, and formalisation methods in the Agda proof assistant. Candidates must have received a Masters qualification in mathematics, computer science, or a related topic, or possess sufficient practical experience.
Application:
Please ensure you upload your Curriculum Vitae, a covering letter giving evidence of how you meet the requirements, and contact information for a referee. If you upload any additional documents which have not been requested, we will not be able to consider these as part of your application.
Fixed-term: The funds for this post are available from October 2024 till April 2025.
Please ensure you cover information about how you match the criteria for the post and why you are applying for this role in your application. If you upload any documents which have not been requested, we will not be able to consider these as part of your application.
If you have any queries about the application process please contact personnel-admin@cst.cam.ac.uk.
Please quote reference NR43386 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.
Type / Role:
Subject Area(s):
Location(s):