[TYPES/announce] Lectureship in PL at University of Kent, UK. Deadline: 06 February 2026

[Marco Paviotti]

The School of Computing at the University of Kent is seeking applicants for a Lectureship in the Programming Languages and Systems (PLAS) group.

Application link: https://urldefense.com/v3/__https://jobs.kent.ac.uk/vacancy.aspx?ref=SOC-017-26__;!!IBzWLUs!S3WxhwFH7sdumwmb6iyYlSH1OgGwhPlzJQ1SygPPnOI5hV_82gaQtt_5cpk_Qz1pTewRcwj8LsAWQKV1kWuFbuCHE7GpEvxGib1Q1g$ 

This is a permanent research and teaching position (equivalent to Tenured Assistant Professor).

The Programming Languages and Systems (PLaS) research group is one of the most active in the UK with a long international standing. The group’s expertise spans programming language implementation and compilers, concurrency theory, functional programming, and type theory.

Application deadline: Friday, 06 February 2026 (23:59 GMT).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260118/ef312fa3/attachment-0001.htm>