<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US">The Programming Languages Group at the University of St Andrews seeks a post-doctoral research fellow for a fixed 12-month position.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Details of the position can be found here:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><a href="https://www.vacancies.st-andrews.ac.uk/Vacancies/W/4238/0/352367/889/research-fellow-ar2699gb">https://www.vacancies.st-andrews.ac.uk/Vacancies/W/4238/0/352367/889/research-fellow-ar2699gb</a><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB"><o:p> </o:p></span></b></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB"><o:p> </o:p></span></b></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB">Vacancy Description<o:p></o:p></span></b></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB">School of Computer Science Salary: £34,304 per annum Start date: 1 October 2022 or as soon as possible thereafter Fixed-term: 12 months<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Applications are sought for a committed Post-doctoral Research Fellow to work with Dr Chris Brown conducting research for a EPSRC funded
project entitled Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems. The primary duties will be to implementing refactorings for target languages such as C; proving general soundness of the refactorings
using e.g. dependent types; developing new programming abstractions (skeletons) for abstracting common energy-reducing programming patterns; running experiments; writing proofs of correctness.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">The successful applicant will have (or be near to completion of) a PhD in Programming Languages with expertise in formal semantics of programming
languages, compilers, program transformation, lightweight formal methods (including, e.g. dependent types) and/or knowledge of parallelism and non-functional properties, including energy.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">The post is available on a fixed-term basis for 12 months starting 1st October or as soon as possible thereafter.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Further details of the project can be found by contacting Dr Christopher Brown (<a href="mailto:cmb21@st-andrews.ac.uk" target="_blank"><span style="color:#666666">cmb21@st-andrews.ac.uk</span></a>).<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Applications are particularly welcome from women, people from the Black, Asian and Minority Ethnic (BAME) community, and other protected
characteristics who are under-represented in research posts at the University.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align:justify;background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Equality, diversity and inclusion are at the heart of the St Andrews experience. We strive to create a fair and inclusive culture demonstrated
through our commitment to diversity awards (Athena Swan, Carer Positive, LGBT Charter, Race Charters and Stonewall). We celebrate diversity by promoting profiles of BAME, LGBTIQ+ staff and supporting networks including the Staff BAME Network; Staff with Disabilities
Network; Staff LGBTIQ+ Network; and the Staff Parents & Carers Network. Full details available online: <a href="https://www.st-andrews.ac.uk/hr/edi/" target="_blank"><span style="color:#666666">https://www.st-andrews.ac.uk/hr/edi/</span></a><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB">Closing Date: 29 July 2022</span></b><span style="color:#333333;mso-fareast-language:EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB">Interview Date: 23 August 2022</span></b><span style="color:#333333;mso-fareast-language:EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><b><span style="color:#333333;mso-fareast-language:EN-GB">Please quote ref:AR2699GB</span></b><span style="color:#333333;mso-fareast-language:EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB">School of Computer Science<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Salary: £34,304 per annum<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Start date: 1 October 2022 or as soon as possible thereafter<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:#333333;mso-fareast-language:EN-GB">Fixed-term: 12 months<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>