Job Description

Applications are invited for a Research Assistant to join Jamie Vicary\'s group, focusing on the computational tooling and mathematical foundations of higher category theory, and its applications in computer science, mathematics, and physics. The Research Assistant will work with group members on a special project related to the homotopy.io proof assistant implementation.

REQUIREMENTS. Due to the short time scale of the project, previous experience of Rust development, and the homotopy.io proof assistant is essential. The candidate must be able to attend the position in person, not remotely.

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.

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

The funds for this post are available for 2 months in the first instance.

Please quote reference NR37573 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.

University of Cambridge