[Proof Complexity] Ph.D. position at King's College London

[Hubie Chen]

A funded Ph.D. position is available at King's College London.  This
position is for a home student, meaning that the successful applicant
should be a UK citizen or resident at the time of application.

Applications are invited from candidates who wish to study theoretical
computer science, advised by Hubie Chen.  The primary criterion is an
undergraduate degree in mathematics with strong performance, or an
equivalent experience.

Key dates: please apply by July 1, 2026 for full consideration; it is hoped
that the successful applicant will start in autumn 2026, but there could be
some flexibility concerning the start date.

Informal enquiries are welcome (e-mail contact: hubie.chen at kcl.ac.uk);
please send your CV when initiating correspondence.

To initiate the application process, please send the following information
to hubie.chen at kcl.ac.uk (by July 1, 2026): (1) CV, including contact
details for three persons who can be contacted for reference letters, (2)
all available academic transcripts at the university level, (3) a brief
statement of interest, and (4) copies of any theses or research
publications.