PhD positions are available at the Theory and Foundations group in the Department of Computer Science, University of Warwick, UK. The group works on various aspects of theoretical computer science, including:

* automata and formal languages,
* logic and games,
* algorithmic game theory,
* online and dynamic algorithms,
* sublinear and streaming algorithms,
* parameterized complexity and structural graph theory,
* string algorithms,
* parallel algorithms,
* approximation algorithms,
* combinatorial and graph algorithms,
* random structures and randomized algorithms,
* computational complexity.

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 of Warwick is one of the founding members of the Alan Turing Institute.

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, 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 to Dr Ramanujan Sridharan (r.maadapuzhi-sridharan@warwick.ac.uk) with a SINGLE .pdf file containing your CV and the names and email addresses of two references, by 24 November 2023. You are strongly encouraged to informally contact faculty members in the group you might want to work with prior to submitting your application.

Shortlisted candidates will be interviewed informally during the week of 4 December - 8 December, 2023.

List of faculty members in the group:

https://warwick.ac.uk/focs/people/<https://warwick.ac.uk/fac/sci/dcs/research/focs/people/>

Centre for Discrete Mathematics and its Applications:
https://warwick.ac.uk/dimap/<https://warwick.ac.uk/fac/cross_fac/dimap/>