People at the University of Kent
University of Kent Career Opportunities Jobs STM-146-20 Research Associate


View All Vacancies

Research Associate

School of Computing

Location:  Canterbury
Salary:  £34,804 to £40,322 per annum
Grade:  Grade 7
Post Type:  Full Time
Contract Type: Fixed Term - 24 Months
Release Date:  Wednesday 18 March 2020
Closing Date:  23.59 hours BST on Friday 08 May 2020  (unless otherwise stated)
Reference:  STM-146-20

Are you a qualified and highly motivated researcher, seeking a rich collaborative environment? This full time, 24 month position is placed within the internationally renowned Programming Languages and Systems group (PLAS) at the University of Kent’s School of Computing (Canterbury) and could be the ideal opportunity. 

We wish to appoint a Research Associate, funded by an EPSRC UK grant lead by Dr Dominic Orchard titled 'Granule: Verifying Resource-like Data Use in Programs via Types'.  The goal of this research is to verify data use internally to a programming language leveraging a combination of linear types, dependent types, and the relatively new concept of graded modal types.  You can see more details about the project, team, and links to publications of preliminary results here:

As Research Associate you will:

  • contribute to the development of the theory of graded modal types, and its interaction with linear and dependent type theories
  • contribute to the implementation of the prototype language Granule (written in Haskell) which applies these ideas in a practical setting
  • assist in developing case studies of these techniques, including applications to security, privacy, communication protocols, and reasoning about physical resource use such as time and memory

To be successful in this role you will have/be:

  • PhD (or nearing completion of study for one) or equivalent, in Computer Science, especially with research interests in programming languages
  • Strong knowledge and hands on experience with functional programming
  • Good grasp of type systems and typed programming language definitions
  • Research experience in one of either programming language theory or practice

The School of Computing at Kent is a welcoming and supportive environment that has been recognised with a Bronze Athena SWAN award. We are a well-balanced, inclusive and diverse community that aims to further enhance our achievements and reputation in teaching, research and innovation. Our staff and students come from all over the world, and we are proud of our friendly and inclusive culture. We support colleagues through a number of family-friendly policies, including a core hours policy and the right to apply for flexible working, and support for staff returning from periods of extended absence (for example, maternity leave).

We particularly welcome applications from female and black and ethnic minority candidates as they are under-represented at this level in this area
Further details:    Job Description     Additional Information    
Email details to a friend

Please note - Applications must be made via the University’s online application system. CVs or details sent directly to the department or via email cannot be considered.

The University of Kent values diversity and promotes equality at all levels

Due to the current COVID-19 outbreak, all interviews will take place remotely.  Our processes will evolve as the Government advice is updated.