[TYPES/announce] (Postdoctoral) Research Associate position at University of Kent

[Radu Grigore]

The Programming Languages and Systems group at University of Kent is
inviting applications for a postdoctoral research associate position.

We are looking for an excellent junior researcher in any of the
following areas: runtime verification, dynamic and static analysis,
quantitative verification, probabilistic systems (e.g., Markov
chains), and machine learning. Applicants with a theory background and
applicants with tools-building experience will both be considered.

The position is funded for 1.5 years, with a start date of January
2019. Applicants must have a PhD in computer science (or a related
area), or must be close to completing such a PhD.

University of Kent is located in the south-east of UK, in the
beautiful city of Canterbury, less than 1 hour away from London.

Please apply at https://bit.ly/2DwmVOR
You need to upload your CV (which should include a list of your best
publications) and a statement of research.
If you have any questions, do not hesitate to contact R.Grigore at kent.ac.uk
The deadline for applications is 25 November 2018.
Interviews (in person or by video-chat) will be held on 10 December 2018.