<div dir="ltr"><span id="gmail-docs-internal-guid-3d38c4b1-7fff-0d22-cc31-39c30c957ef5"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="background-color:transparent;color:rgb(0,0,0);font-family:Consolas,sans-serif;font-size:11pt;white-space:pre-wrap">We are seeking to appoint a new lecturer in Computing in our Programming Languages and Systems research group based at our Canterbury campus, University of Kent.</span><br></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Job description / Additional Information / Please apply at</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(17,85,204);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap"><a href="https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?id=4919__;!!IBzWLUs!RwqtTEw6YOBVmuIzx2cJQHDPuR2ykxWpBfZy2WP_KFCgLsdk511D6CdkSrbFSg6PIMUUXPuA-syMLROYuH4Tha6Wqc9g6A$">https://jobs.kent.ac.uk/Vacancy.aspx?id=4919</a></span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Closing date for applications: 26 August 2022 (end of day, UK time)</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">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:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://urldefense.com/v3/__https://www.cs.kent.ac.uk/research/groups/plas/index.html__;!!IBzWLUs!RwqtTEw6YOBVmuIzx2cJQHDPuR2ykxWpBfZy2WP_KFCgLsdk511D6CdkSrbFSg6PIMUUXPuA-syMLROYuH4Tha6-LzLHow$" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://www.cs.kent.ac.uk/research/groups/plas/index.html</span></a></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">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.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">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: <a href="https://urldefense.com/v3/__https://www.kent.ac.uk/computing/research__;!!IBzWLUs!RwqtTEw6YOBVmuIzx2cJQHDPuR2ykxWpBfZy2WP_KFCgLsdk511D6CdkSrbFSg6PIMUUXPuA-syMLROYuH4Tha69rYHU9w$">https://www.kent.ac.uk/computing/research</a>.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">The University of Kent campus is in Canterbury, overlooking the historic city centre. 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. With 125 nationalities represented, the Canterbury campus has a very cosmopolitan feel. The city and surrounding region combines an attractive and affordable environment, outstanding schools, and fast transport links to London and mainland Europe.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Links:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[1] </span><a href="https://urldefense.com/v3/__https://cs.kent.ac.uk/__;!!IBzWLUs!RwqtTEw6YOBVmuIzx2cJQHDPuR2ykxWpBfZy2WP_KFCgLsdk511D6CdkSrbFSg6PIMUUXPuA-syMLROYuH4Tha6wqDHorA$" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://cs.kent.ac.uk/</span></a></p><span style="font-size:11pt;font-family:Consolas,sans-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">[2] </span><a href="https://urldefense.com/v3/__http://www.ecu.ac.uk/equality-charters/athena-swan/__;!!IBzWLUs!RwqtTEw6YOBVmuIzx2cJQHDPuR2ykxWpBfZy2WP_KFCgLsdk511D6CdkSrbFSg6PIMUUXPuA-syMLROYuH4Tha5bEyG4mA$" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Consolas,sans-serif;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">http://www.ecu.ac.uk/equality-charters/athena-swan/</span></a></span><br></div>