Continue with FacebookLooking to list your PhD opportunities? Log in here.
We have 22 King’s College London, UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence PhD Projects, Programmes & Scholarships for Self-funded Students
King’s College London, UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence PhD Projects, Programmes & Scholarships for Self-funded Students
We have 22 King’s College London, UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence PhD Projects, Programmes & Scholarships for Self-funded Students
PhD saved successfully
Causal Temporal Logic
Temporal logic (TL) is arguably the primary language for formal specification and reasoning about system correctness and safety. Read more
Improving Robustness of Pre-Trained Language Models
Recent efforts to Natural Language Understanding (NLU) have been largely exemplified in tasks such as natural language inference, reading comprehension and question answering. Read more
Verifying Geometric Learning Machines for Generalisation, Robustness and Compression
As part of the model-based approaches to safe and trusted AI, this project aims to shed light on the phenomenon of robust generalisation as a trade-off in geometric deep networks. . Read more
Verification of Matching Algorithms for Social Welfare
Matching is a fundamental problem in combinatorial optimisation with multiple applications in AI, like in belief propagation [10], multi-agent resource allocation algorithms [6], and constraint solving [16], and in economics, like the stable marriage problem [17] and the Adwords market [15], among many other applications. Read more
Integrating Sub-symbolic and Symbolic Reasoning for Value Alignment
An important long-term concern regarding the ethical impact of AI is the so called ‘value alignment problem’; that is, how to ensure that the decisions of autonomous AIs are aligned with human values. Read more
Learning and deploying safe and trustworthy models of data provenance
Our modern lives are increasingly governed by ubiquitous AI systems and an abundance of digital data. More and more products and services are providing us with better tools and recommendations for our professional, personal, and entertainment activities. Read more
Generative modelling with neural probabilistic circuits
The current state of the art in generative modelling is dominated by neural networks. Despite their impressive performance on many benchmark tasks, these algorithms do not provide tractable inference for common and important queries, e.g. Read more
Understanding Distribution Shift with Logic-based Reasoning and Verification
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Composable Neural Networks
This project is part of a unique cohort based 4-year fully funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Detecting fake news
This project is part of a unique cohort based 4-year fully funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Trusted AI for Safe Stop and Search
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Formal Reasoning about Golog Programs
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Detecting Deception and Manipulation in Planning and Explanation Systems
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
A Critical and Inclusive Approach to Robotics
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
Safe Reinforcement Learning from Human Feedback
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
- 1
- 2