Logic List Mailing Archive

PhD positions in Theory & Foundations of Computer Science, Warwick (England), Deadline: 11 Nov 2019

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 such as:

* 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,
* privacy-preserving algorithms, cryptography and quantum computing.

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 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.

If you are interested in this opening, please send an email to either Dr Sayan
Bhattacharya (S.Bhattacharya@warwick.ac.uk) or Dr Dmitry Chistikov
(d.chistikov@warwick.ac.uk) with a CV and the names and email addresses of two
references by 11 November 2019. 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 5 December, 2019, 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
  * Torsten Mutze
  * Igor Carboni Oliveira
  * Tom Gur
  * Marcin Jurdzinski
  * Dan Kral
  * Ranko Lazic
  * Mike Paterson
  * Ramanujan Sridharan
  * Alex Tiskin

https://warwick.ac.uk/focs/people/

Centre for Discrete Mathematics and its Applications:
https://warwick.ac.uk/dimap/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam