Sort by
Refine Your Search
-
://nottingham.ac.uk/ComputerScience/Studywithus/Postgraduateresearch/NottinghamDTCinAI.aspx Entry Requirements: 2:1 Bachelor or Masters degree or international equivalent in a related discipline Application Process
-
of Computer Science at UNNC is part of the School of Computer Science at the University of Nottingham, UK, which is ranked among the top UK Computer Science departments (http://www.nottingham.ac.uk/computerscience
-
among the top UK Computer Science departments (http://www.nottingham.ac.uk/computerscience/ ). The School at UNNC offers a full range of undergraduate and postgraduate computer science programmes
-
proof assistants. The current project aims to make progress in the field of dependent type theory and, in particular, in homotopy type theory, by exploring which statements can be expressed in which
-
experience as PostDoc. Your Remuneration, Benefits and Support The successful candidate will be offered a fixed-term contract for up to 5 years, which may be extended by mutual agreement. Salary will be within
-
of total non-engagement and require checks to provide assistance with any wellbeing issues underscoring a period of prolonged disengagement. The role requires experience of working with large datasets and
-
of total non-engagement and require checks to provide assistance with any wellbeing issues underscoring a period of prolonged disengagement. The role requires experience of working with large datasets and
-
-assignment checks. If the position you are applying for is ‘exempt’ from the Rehabilitation of Offenders Act 1974 you will be asked to confirm both spent and unspent convictions at the point of offer. Examples
-
whether you have any unspent criminal convictions as part of our pre-assignment checks. If the position you are applying for is ‘exempt’ from the Rehabilitation of Offenders Act 1974 you will be asked
-
English language proficiency proof (if applicable). After discussion, you may be invited for an interview. What the PhD Programme Offers: This PhD will include the payment of Home tuition fees as