<div dir="ltr">University of Kent - The School of Computing<br>Location:Canterbury<br>Salary:£35,326 to £48,835<br>Hours:Full Time<br>Contract Type:Permanent<br>Placed On:11th May 2022<br>Closes:6th June 2022<br>Job Ref:CEMS-136-22<br><br>Closing Date: 23.59 hours BST 09 June 2022<br><br>Apply here:<br><a href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems__;!!IBzWLUs!SG7pyXcxFnjPEfq_x-qYuaed7LnmDF0zsvfxflU3ilNyLWZSU7-IJVF8satEOpUr9X8nUaHugo7hGVPwRBTscWXXRnMIQg$" target="_blank">https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems</a><br><br>The School of Computing is looking to recruit a Research Fellow in Programming Languages and Systems.<br><br>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.<br><br>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<br><br>As a Research Fellow in PLAS, you will:<br><br>1. support group members on the planning of research activities for their funded projects, as well as for scoping and POC studies.<br>2. help with the carrying out and development of the research activities of the group<br>3. seek and secure external funding opportunities to help further develop the research goals of the group<br>4. contribute to internal and external research progress meetings with other investigators and researchers, including the drafting of technical project reports for funders<br>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<br><br>To succeed in this role, you will have:<br><br>1. a PhD or equivalent experience in Programming Languages and Systems research<br>2. a sound knowledge of research methods and processes in the field of computing, specifically in regards to research design and implementation<br>3. A good publication track-record of publications in top programming languages conferences/journals<br>4. Extensive knowledge of at least 2 subfields of the PLAS group (compiler development, formal reasoning, concurrency, language design, type systems, semantics, programmer tools)<div><br></div><div>Please apply here:<br><a href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems__;!!IBzWLUs!SG7pyXcxFnjPEfq_x-qYuaed7LnmDF0zsvfxflU3ilNyLWZSU7-IJVF8satEOpUr9X8nUaHugo7hGVPwRBTscWXXRnMIQg$" target="_blank">https://www.jobs.ac.uk/job/CPQ519/research-fellow-in-programming-languages-and-systems</a><br></div><div><br></div><div>Best,</div><div>Professor Mark Batty</div><div>School of Computing</div><div>University of Kent</div></div>