PhD in foundations of ML UK