Research Assistant in Computads for Higher Categories (Fixed Term)
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:
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.
Click the 'Apply' button below to register an account with our recruitment system (if you have not already) and apply online.
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.