[TYPES/announce] Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent
Dominic Orchard
dom.orchard at gmail.com
Sat Nov 21 05:18:07 EST 2020
Subject: Lecturer (Assistant Professor) Position in Programming Languages
at the University of Kent
We are seeking to appoint another new lecturer in Computing in our
Programming Languages and Systems research group based at our Canterbury
campus, University of Kent.
Job description / Additional Information / Please apply at
https://jobs.kent.ac.uk/vacancy.aspx?ref=CEMS-003-20
Closing date for applications: 10 January 2021
The Programming Languages and Systems (PLAS) research group spans the
breadth and depth of practical and theoretical aspects of programming
languages and system building related to languages. Our work goes across
paradigms (imperative, object-oriented, functional, logic) and is
complemented by our systems research in concurrency, relaxed memory,
verified compilation, verification, language prototypes, garbage
collection, and tools. All our work is linked by a shared vision of the
power and impact of programming languages on the rest of Computer Science.
The PLAS group at Kent has a long history of contributions to the field and
continues to be a hotbed of programming language research in the South East
of England:
https://www.cs.kent.ac.uk/research/groups/plas/index.html
The School of Computing [1] is a welcoming, supportive, and diverse
environment whose commitment to gender equality has been recognised with a
Bronze Athena SWAN [2] award. We are keen to enhance the balanced,
inclusive and diverse nature of the community within our School and would
particularly encourage female candidates to apply for these posts.
We are committed to delivering high quality research and education. The
School’s five broad research areas are Programming Languages and Systems;
Computer Security; Computational Intelligence; Data Science; and Computing
Education. Full details can be found at: https://www.cs.kent.ac.uk/research.
The University of Kent has campuses in Canterbury and Medway, and
specialist postgraduate centres in Athens, Brussels, Paris and Rome.
Overlooking the city centre, and with 125 nationalities represented, the
Canterbury campus has a very cosmopolitan feel. Canterbury is a small city
that retains parts of its medieval walls (with Roman foundations). Famous
for its heritage (Canterbury Cathedral; Chaucer’s Tales; etc), Canterbury
is a vibrant community and UNESCO World Heritage site whose culture and
leisure facilities are enhanced by hosting three universities. The city and
surrounding region combines an attractive and affordable environment,
excellent schools, and fast transport links to London and mainland Europe.
Links:
[1] https://cs.kent.ac.uk/
[2] http://www.ecu.ac.uk/equality-charters/athena-swan/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201121/c0882e69/attachment-0001.htm>
More information about the Types-announce
mailing list