[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.grig...@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.
