[TYPES/announce] Post-doctoral position in linear, dependent, and graded modal types, University of Kent (2 years)

[Dominic Orchard]

Closing date: Friday 8th of May.
Expected start: September 2020, but negotiable.

I am seeking to appoint a 2-year Research Associate (post doc) at the
University of Kent, funded under the project 'Granule: Verifying
Resource-like Data Use in Programs via Types'.  The broad goal of this
research is to build programming language theory and practice for verifying
data use internally to a language, leveraging a combination of linear
types, dependent types, and centrally the relatively new concept of* graded
modal types*. You can find more details about the project, the Granule
programming language, the team, and links to publications of preliminary
results here: https://granule-project.github.io/

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 (at Canterbury). Canterbury is a beautiful,
historic city (and UNESCO World Heritage Site) situated very close to
London (<1 hour by train) and mainland Europe (close to airports and
Eurostar). You would be working as part of an energetic team of
researchers. More details can be found below and at:
https://jobs.kent.ac.uk/Vacancy.aspx?ref=STM-146-20

Contact Dominic Orchard (d.a.orchard at kent.ac.uk) if you have any questions.

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 <https://www.cs.kent.ac.uk/index.html> 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.

https://jobs.kent.ac.uk/Vacancy.aspx?ref=STM-146-20
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200323/bed76bb0/attachment-0001.html>