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

• algorithmic game theory,
• approximation and sublinear-time algorithms,
• automata and formal languages,
• coding theory, cryptography and privacy-preserving algorithms,
• combinatorics and graph algorithms,
• computational complexity and parameterized complexity,
• logic and games,
• parallel algorithms and distributed computing,
• quantum computing,
• random structures and randomized algorithms,
• streaming, online, and dynamic algorithms.

The group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP), established in 2007 jointly with the 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 2nd in the latest UK research assessment in Research Excellence Framework (REF) in 2014. 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.

To apply: please send an email to either Dr. Tom Gur (tom dot gur at warwick dot ac dot uk) or Dr. Torsten Mutze (torsten dot mutze at warwick dot ac dot uk) with a CV and the names and email addresses of two references by 15 November 2021. You are strongly encouraged to informally contact group members you might want to work with prior to submitting your application.

Shortlisted candidates will be interviewed informally on December 2, 2021, and they will be notified approximately two weeks before the date of the interview.

Permanent members of the group:

• Sayan Bhattacharya
• Dmitry Chistikov
• Graham Cormode
• Artur Czumaj (group leader)
• Charilaos Efthymiou
• Matthias Englert
• Tom Gur
• Marcin Jurdzinski
• Ranko Lazic
• Torsten Mutze
• Igor Carboni Oliveira
• Mike Paterson
• Nicholas Spooner (from January 2022)
• Ramanujan Sridharan

For more information about the Foundations of Computer Science (FoCS) Research Group, see FoCS web page.

For more information about DIMAP, see DIMAP web page.

Closing date: November 15, 2021

Group members:

• Sayan Bhattacharya
• Dmitry Chistikov
• Graham Cormode
• Artur Czumaj (group leader)
• Charilaos Efthymiou
• Matthias Englert
• Tom Gur
• Marcin Jurdzinski
• Ranko Lazic
• Torsten Mutze
• Mike Paterson
• Igor Carboni Oliveira
• Nicholas Spooner (from January 2022)
• Ramanujan Sridharan

Foundations of Computer Science (FoCS) Research Group

DIMAP