[Proof Complexity] PhD Scholarship at Royal Holloway, University of London

Iddo Tzameret iddo.tzameret at gmail.com
Thu Mar 31 17:35:18 CEST 2016


Full tuition-fee waiver and stipend of approximately
GBP 16,000 per annum for EU nationals.

Department of Computer Science, Royal Holloway
University of London

Tentative starting date: September 15, 2016

For more details, see:
or contact Iddo Tzameret at Iddo.Tzameret at rhul.ac.uk

The Department of Computer Science at Royal Holloway
University of London is offering a three-year
full-time PhD studentship in algorithms and complexity
starting in September 2016. The studentship includes a
full tuition-fee waiver and a maintenance award in
line with the level recommended by Research Councils
UK (exact value to be confirmed, circa GBP 16,000 pa).

** This is a competitive-based PhD position, meaning
that the candidate will compete against other PhD
applicants in the department. I expect, though, that
strong candidates will be able to get an offer (as
there are several such PhD positions offered). **

The project is broadly in the area of computational
complexity with an emphasis on satisfiability and the
complexity of proofs. The successful candidate will
investigate fundamental aspects of the Boolean
satisfiability problem SAT from possibly different
aspects - combinatorial, algebraic and logical - with
a possibility to engage as well in applied or
empirical study of SAT-solving and other applications
related to SAT, depending on the preferences and
qualifications of the candidate.

Applications should be made through the online
application system at Royal Holloway, University of
London HERE (but please contact me before via email if
you want the process to be more efficient:
Iddo.Tzameret at rhul.ac.uk).

REQUIREMENTS: The candidate should be an EU resident.
The successful candidate will have obtained a
first-class Bachelors or Masters degree in Computer
Science, Mathematics or a close discipline, have a
solid understanding of foundational aspects of
computer science and, specifically, computational
complexity (knowledge of logic will also be
appreciated), and be highly motivated.

For any informal inquiries about the position, please
contact Iddo Tzameret at Iddo.Tzameret at rhul.ac.uk

The Computer Science Department at Royal Holloway,
University of London, is one of the UK's leading
centers for research into Computer Science. In the
most recent Reference Excellent Framework (REF 2014),
the department ranked 11th in the UK for the quality
of research output. The department consists of
world-leading researchers in algorithms and
complexity, machine learning, distributed and global
computing, software language engineering, and
applications of logic in computer science. Research
students enjoy a very lively research culture and are
fully involved in the research activities of the
Department. The Department also funds students to
present their work at international conferences.

More information about the Proof-Complexity mailing list