The Role

The post is one of two Research Associate positions on the EPSRC project “Trustworthy Refactoring”. The overall goal of this project is to investigate the design and construction of trustworthy refactoring tools: this means that when refactorings are performed, the tools will provide strong evidence that the refactoring has not changed the behaviour of the code, built on a solid theoretical understanding of the semantics of the language, and this will establish a step change in the practice of refactoring.

This post will focus on pushing the boundaries of trustworthy refactoring via mechanised proof for refactorings in CakeML, and the other post (STM0683) will concentrate on building an industrial strength refactoring tool for OCaml. The project has industrial support from Jane Street Capital, who will contribute not only ideas to the project but also host the second RA for a period working in their London office, understanding the OCaml infrastructure and their refactoring requirements.

School of Computing

The School of Computing is a welcoming and diverse environment that has recently been recognised with a Bronze Athena SWAN award. We are keen to enhance the balanced, inclusive and diverse nature of the community within the School and would particularly encourage female candidates to apply for this post.

Full details about teaching and research in the School can be found on our website: www.cs.kent.ac.uk

Further Information

Interviews are to be held: 21-22 Jun 2016

Please press the apply button below to view the full job description and also to apply for this post. If you require further information regarding the application process please contact Kim Kerr on k.kerr@kent.ac.uk.

Please note - applications must be made via the University’s online application system. You will be required to fill in the main details section of the application form as well as upload your CV and a summary document. Your summary should provide clear evidence and examples demonstrating where you meet the essential criteria for the post. We recommend a maximum of 4 x A4 sides for this document.

CVs or details sent directly to the department or via email cannot be considered.