KSC
Approximation of Constraint Satisfaction Problems
✓ 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
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
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
MUM
MUM
UOB
SET