Ph.D. position in Theoretical CS @ King’s College London