<html 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=Windows-1252">
<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;}
@font-face
{font-family:-webkit-standard;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Dear All<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">I have an opening for a postdoc to work on a new 3-year EPSRC project in the Programming Languages group at St Andrews. The deadline has been extended to the 26<sup>th</sup> February.<span class="apple-converted-space"> </span><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Send me an email (<a href="mailto:cmb21@st-andrews.ac.uk">cmb21@st-andrews.ac.uk</a>) if you’d like to informally chat about the post. I’m very happy to chat to you.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Thanks<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Chris<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Lecturer in Computer Science<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">University of St Andrews<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:black">Scotland<o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">--------------------<br>
The Programming Languages Group seeks a Research Fellow to work on the newly funded 3-year EPSRC project, Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Embedded devices, such as mobile phones, drones, medical devices and even satellite imaging are now common place in society. These types
of devices rely very heavily on battery power, contributing to climate change and global warming. Optimizing the software that runs on such devices for energy is a very challenging problem for software developers. The Energise project aims to address this
issue by providing the developer with a refactoring tool to repurpose their software to make it consume less energy, and to do it in such a way that the code is guaranteed to still meet its specification.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">The Energise project aims to develop new, formally-motivated, refactorings and transformations that reduce energy consumption for embedded
multi-core devices. This includes 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 common energy-reducing programming
patterns; running experiments; writing proofs of correctness, etc.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">The post will require skills in formal semantics of programming languages, compilers, program transformation, lightweight formal methods
(including, e.g. dependent types) and knowledge of parallelism and non-functional properties, including energy.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Informal enquiries can be directed to Dr Chris Brown (<a href="mailto:cmb21@st-andrews.ac.uk" target="_blank" title="mailto:cmb21@st-andrews.ac.uk"><span style="color:#0088CC">cmb21@st-andrews.ac.uk</span></a>).</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Applications are particularly welcome from women, people from the Black, Asian, Minority or Ethnic (BAME) community and other protected
characteristics who are under-represented in research posts at the University.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">The University is committed to equality for all, demonstrated through our working on diversity awards (ECU Athena SWAN/Race Charters;
Carer Positive; LGBT Charter; and Stonewall). More details can be found at <a href="http://www.st-andrews.ac.uk/hr/edi/diversityawards/" target="_blank" title="http://www.st-andrews.ac.uk/hr/edi/diversityawards/"><span style="color:#0088CC">http://www.st-andrews.ac.uk/hr/edi/diversityawards/</span></a>.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Interviews will be held on TBC.</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Please quote ref: AR2474MR</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">Closing Date: 26 February 2021</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">School of Computer Science<br>
Salary: £33,797 - £36,914 per annum<br>
Fixed Term: 3 years<br>
Start: As soon as possible</span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p style="margin-bottom:2.25pt;background:white"><span style="font-size:10.5pt;font-family:-webkit-standard;color:#333333">More details at: <a href="https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6918/0/284952/889/research-fellow-ar2474mr" target="_blank" title="https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6918/0/284952/889/research-fellow-ar2474mr"><span style="color:#0088CC">https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6918/0/284952/889/research-fellow-ar2474mr</span></a></span><span style="font-family:-webkit-standard;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>