funded 3 year PhD studentship on the development of Parameterized
Algorithms for Problems in Artificial Intelligence and Logic. Parameterized
Complexity is a vastly growing area within theoretical computer science
that allows for the development of exact algorithms for computational hard
problems that exploit the structuredness of real-world instances. The goal
of this project is to develop more efficient parameterized algorithms for a
wide range of problems in computer science such as satisfiability of
propositional formulas, constraint satisfaction, integer linear
programming, as well as problems from graph theory and machine learning
with the help of sophisticated algorithmic techniques such as
meta-theorems, dynamic programming, decompositions, and backdoor sets.
The candidate will be supervised by Dr. Sebastian Ordyniak.
Requirements:
Applicants should have at least a first class or an upper second class
British Bachelors Honours degree (or equivalent) in an appropriate
discipline, i.e., computer science or mathematics. Applicants are expected
to have excellent mathematical skills as well as an interest in discrete
algorithms.
Funding Notes:
A highly competitive School of Computing studentship consisting of Academic
Fees of £4,600 and Maintenance matching standard Research Council rate of
£15,609 per year, currently for 2021/22.
This opportunity is open to UK applicants only, All candidates will be
placed into the School of Computing Studentship Competition and selection
is based on academic merit.
The UKCISA website will be updated in due course with information regarding
Fee Status for Non-UK Nationals starting from September/October 2021.
How to apply:
Formal applications for research degree study should be made online through
the University's website. Please state clearly in the research information
section that the research degree you wish to be considered for is Next
Generation of (Parameterized) Algorithms for Problems in AI as well as Dr
Sebastian Ordyniak as your proposed supervisor.
Contact details:
For further information regarding your application, please contact Doctoral
College Admissions
e: phd@engineering.leeds.ac.uk, t: +44 (0)113 343 5057.
For further information regarding the project, please contact Dr Sebastian
Ordyniak
e: S.Ordyniak@leeds.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************