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