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.
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.
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: