🎓 Discover PhD and Master's programmes at leading universities worldwide — Sign up free to save searches and get email alerts
Sign In Register Free
KSC

Approximation of Constraint Satisfaction Problems

King's College London Department of Informatics
✓ Fully Funded ⏰ Closing Soon 🎓 Algorithms 🎓 Artificial Intelligence 🎓 Combinatorics 🎓 Computational Complexity 🎓 Computer Science 🎓 Graph Theory 🎓 Logic phd fully funded CSP King's College London Promise CSP approximation algorithms combinatorial optimization computer science constraint satisfaction max-CSP research degree

A fully funded PhD project at King’s College London on approximation approaches to constraint satisfaction problems, exploring sub-optimal solutions, max-CSP, and Promise CSPs.

Project Description

The project focuses on the computational problem of finding assignments that satisfy constraints on variables (CSP). Approximation methods are studied for efficiently computing sub-optimal solutions. Possible topics include maximizing satisfied constraints (max-CSP) or weaker satisfaction of constraints (Promise CSPs). The student can explore their own research questions within CSP theory. The candidate will join a dynamic research community, present at conferences, and may undertake paid teaching assistant work. The project encourages interdisciplinary approaches, drawing from algebra, logic, graph theory, and combinatorics.

Entry Requirements

Strong academic background in Computer Science, Mathematics, or related field
Interest in algorithms, combinatorics, computational complexity, and CSP theory
Analytical and research skills

How to Apply

Contact Dr Silvia Butti at silvia.butti@kcl.ac.uk
with academic background and research interests
Apply via King’s Apply online application system
Apply for Computer Science Research MPhil/PhD (Full-time)
Indicate Dr Silvia Butti as supervisor and quote the project title
In Funding section, select option 5 and enter code 833

Eligibility

UK/Home
EU
International

Supervisor Profile

DS
Dr Silvia Butti
King's College London, Department of Informatics

Related Opportunities

Undergraduate/Graduate Research Assistantship on AI and Machine Learning for Protein Modeling
Auburn University at Montgomery Dr. Sutanu Bhattacharya 🎓 Artificial Intelligence 🎓 Computational Biology

Explore AI applications in protein modeling and bioinformatics. Develop machine learning solutions with Python and contribute to advancing biomedical research. Gain valuable experience working under an NSF Expand AI gra…

This research improves protein structure predictions, crucial for drug discovery and understanding diseases such as COVID-19. Enhancing AI …

300+ citations · h12
Computational biology Bioinformatics Machine Learning Data Science
Self-funded
Added 3 weeks, 2 days ago View & Apply
Rigorous Safety and Reliability in Autonomous Systems via Formal Verification and Data-Driven Control
University of Birmingham Prof. Sadegh Soudjani 🎓 Applied Mathematics 🎓 Computer Science Deadline: 10 May 2024

Explore how to develop mathematically rigorous methods ensuring safety and reliability in autonomous systems by integrating control theory, formal verification, and probabilistic approaches. Ideal for candidates eager t…

This research is crucial for advancing the safety and reliability of autonomous systems deployed in real-world safety-critical applications…

3500+ citations · h30
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
✓ Fully Funded ⏰ Closing Soon
Added 3 weeks, 2 days ago View & Apply
Building Secure and Trustworthy Autonomous Systems
University of Arkansas Dr. Hasan Shahriar 🎓 Artificial Intelligence 🎓 Computer Science

Explore security and trust issues in autonomous systems including robots and vehicles. Develop resilient cyber-physical systems using advanced AI and privacy techniques. Address real-world challenges in infrastructure p…

Research in secure and trustworthy autonomous systems is critical as these technologies become integral to transport, robotics, and infrast…

Additive Manufacturing Optimization modeling
Self-funded
Added 3 weeks, 2 days ago View & Apply
PhD in AI and Computer Vision for Emotion Understanding in Videos Focused on ASD Interaction Analysis
Université Lumière Lyon 2 Carlos Crispim 🎓 Artificial Intelligence 🎓 Computer Vision

Develop deep learning models that analyze emotion and social cues in videos, focusing on autistic children's interactions. Tackle real-world challenges in facial recognition and adapt AI to subtle, naturalistic emotiona…

This research addresses critical limitations in current ASD diagnosis, providing objective tools that can reduce subjectivity and time dema…

Artificial Intelligence Computer Vision Deep Learning Multimodal Vision
✓ Fully Funded
Added 3 weeks, 2 days ago View & Apply