[TYPES/announce] Job advert -- Research Fellow in Programming Languages and Systems. University of Kent, UK.

[Mark Batty]

University of Kent - The School of Computing
Location:Canterbury
Salary:£35,326 to £48,835
Hours:Full Time
Contract Type:Permanent
Placed On:11th May 2022
Closes:6th June 2022
Job Ref:CEMS-136-22

Closing Date: 23.59 hours BST 09 June 2022

Apply here:
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems__;!!IBzWLUs!SG7pyXcxFnjPEfq_x-qYuaed7LnmDF0zsvfxflU3ilNyLWZSU7-IJVF8satEOpUr9X8nUaHugo7hGVPwRBTscWXXRnMIQg$ 

The School of Computing is looking to recruit a Research Fellow in
Programming Languages and Systems.

This post will be externally funded through funding secured by group
researchers (including the role-holder).  Please note that this position
will be offered on a permanent basis dependent on funding. There is the
possibility of offering the second-placed applicant a fixed-term Research
Associate position.

The Fellowship post is similar to the role of a postdoctoral researcher,
but by virtue of being permanent, it makes it possible to develop research
independence through applications to funding bodies. The PLAS group
currently holds a variety of externally funded grants from EPSRC (CapC,
STARDUST, CAMELOT, Verifying Resource-like Data Use in Programs via Types),
Horizon2020 (BeHapi), Innovate UK, NCSC and the Royal Society among others.
The Fellow will be responsible for research work funded by external grants
within the school. Initially that will entail working on currently running
projects, but over time the fellow is expected to take part in new
applications led by others within the school, and to seek funding for their
own research. The role will require excellent technical and project
management skills, applicable to a number of currently running projects,
and a vision for an independent research direction. You will form an
integral part of the successful PLaS group (ranked 3rd in the UK for
Programming Language research -- CSRankings 2020), and play a key role in
current research and its future direction

As a Research Fellow in PLAS, you will:

1. support group members on the planning of research activities for their
funded projects, as well as for scoping and POC studies.
2. help with the carrying out and development of the research activities of
the group
3. seek and secure external funding opportunities to help further develop
the research goals of the group
4. contribute to internal and external research progress meetings with
other investigators and researchers, including the drafting of technical
project reports for funders
5. keep abreast of the latest development in the field and ensure these are
shared with the group in a variety of ways, i.e. through presentations on
research seminars and other media

To succeed in this role, you will have:

1. a PhD or equivalent experience in Programming Languages and Systems
research
2. a sound knowledge of research methods and processes in the field of
computing, specifically in regards to research design and implementation
3. A good publication track-record of publications in top programming
languages conferences/journals
4. Extensive knowledge of at least 2 subfields of the PLAS group (compiler
development, formal reasoning, concurrency, language design, type systems,
semantics, programmer tools)

Please apply here:
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems__;!!IBzWLUs!SG7pyXcxFnjPEfq_x-qYuaed7LnmDF0zsvfxflU3ilNyLWZSU7-IJVF8satEOpUr9X8nUaHugo7hGVPwRBTscWXXRnMIQg$ 

Best,
Professor Mark Batty
School of Computing
University of Kent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220519/3a4215f4/attachment-0001.htm>