Snabbfakta
-
- Cambridge
Ansök senast: 2024-11-26
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:
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:
Fixed-term: The funds for this post are available from October 2024 till April 2025.
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.
Fler jobb från Talent
