Postdoc Position in Programming Language Implementation

by smarr, June 22, 2022

We are looking for a Postdoc to join our team as a full-time Research Associate for 12 month, with a possibility of extension.

Closing Date: 15 July 2022 (end of day, UK time)
https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-145-22

We are looking for a Postdoc to join our team as a full-time Research Associate for 12 month, with a possibility of extension.

Closing Date: 15 July 2022 (end of day, UK time)
https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-145-22

## Project Goal

The goal of the project is to build the foundation for run-time concurrency bug mitigation techniques. Thus, we are looking for someone with an interest in interpreters, compilers, and/or concurrency.
The project has sufficient freedom to define concrete research questions and tasks to match your interests.
Though, we hope you would share interests around language implementation techniques and tooling when you join our research team here at the University of Kent.

For more details and/or an informal discussion, please email me at [email protected] 

## Research Environment

When joining the project, you’ll also become a member of the Programming Languages and Systems (PLAS) research group. PLAS 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://research.kent.ac.uk/programming-languages-systems/

The School of Computing [1] is a welcoming, supportive, and diverse environment whose commitment to equality has been recognised with a Bronze Athena SWAN [2] award.

The School and particularly our Programming Languages and Systems group are internationally recognized for excellent research. For instance, in the recent UK-wide assessment of research excellence, 96% of our outputs were classified as world-leading or internationally-excellent.

The University of Kent campus overlooks the city centre of Canterbury, and with 125 nationalities represented, it 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://www.kent.ac.uk/computing 
[2] http://www.ecu.ac.uk/equality-charters/athena-swan/