[TYPES/announce] PhD studentships at University of Kent

[Radu Grigore]

The University of Kent (UK) offers several PhD studentships:
  http://www.cs.kent.ac.uk/research/studyingforaphd/index.html

Deadline: 4 February 2016

--

I am looking for a PhD student interested in improving program
analysis by using techniques from machine learning.

Take a look at
  http://www.cs.kent.ac.uk/research/studyingforaphd/phd-grigore-2016.html
and
  http://arxiv.org/abs/1511.01874
If you find this research area interesting, then email me.