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: https://granule-project.github.io/ 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).
Receive emails for the latest jobs matching your search criteria