* algorithmic game theory
* approximation algorithms
* automata and formal languages
* combinatorics and graph algorithms
* computational complexity
* logic and games
* online and dynamic algorithms
* parallel algorithms and distributed computing
* parameterized complexity and structural graph theory
* random structures and randomized algorithms
* sublinear and streaming algorithms
* theoretical foundations of machine learning
The group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP), established in 2007 jointly with Warwick Mathematics Institute and Warwick Business School. Together with DIMAP, the group is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science.
The Department of Computer Science at Warwick offers an excellent research environment. It was ranked 4th in the latest UK research assessment in Research Excellence Framework (REF) in 2021.
The university campus is located on the border of two counties, West Midlands and Warwickshire, is about one hour train ride from London, and 15 minutes from Birmingham International Airport.
The applicants are expected to have a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master's degrees in computer science, mathematics, or related disciplines. The position(s) will be fully funded, and the successful applicant(s) will be receiving a stipend at rate in line with current Research Councils UK rates.
If you are interested in this opening, please send an email with subject line "Application for PhD position" to either Sayan Bhattacharya (S.Bhattacharya@warwick.ac.uk) or Dmitry Chistikov (D.Chistikov@warwick.ac.uk) with a SINGLE .pdf file containing: (i) your CV, (ii) contact email address, and (iii) the names and email addresses of two references. The deadline for receiving the applications is 11 November 2025.
You are strongly encouraged to informally contact faculty members in the group you might want to work with prior to submitting your application. Only those candidates whose applications are endorsed by a faculty member in the group will be interviewed informally during the week of 17 November 2025. The following subset of faculty members of the group are looking for PhD students this year.
* Dmitry Chistikov
* Artur Czumaj
* Charilaos Efthymiou
* Matthias Englert
* Christian Ikenmeyer
* Marcin Jurdzinski
* Ranko Lazic
Relevant Links:
Theory and Foundations research group: https://warwick.ac.uk/fac/sci/dcs/research/focs/
Department of Computer Science at Warwick: https://warwick.ac.uk/fac/sci/dcs/
List of all faculty members in the group: https://warwick.ac.uk/focs/people/
**********************************************************
*
* 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/
*
**********************************************************
Posts
