<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=us-ascii">
<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:DengXian;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"\@DengXian";
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* 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.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@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">Dear Haskellers,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The programming languages group at Bristol is recruiting a research fellow to join our dynamic research group
<a href="https://bristolpl.github.io/">https://bristolpl.github.io/</a>. Our research is ranked highly internationally and there is a strong focus on Haskell. We welcome functional programmers anywhere in the world to apply! (Another similar post at the level
of research associate is also available.)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="https://www.bristol.ac.uk/jobs/find/details/?jobId=274355&jobTitle=Research%20Fellow">https://www.bristol.ac.uk/jobs/find/details/?jobId=274355&jobTitle=Research%20Fellow</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal"><span style="color:black">Meng Wang, PhD (Oxon)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black">Senior Lecturer of Programming Languages<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black">Head of PL research group<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black">School International Director <o:p>
</o:p></span></p>
<p class="MsoNormal"><span style="color:black">SCEEM (CS, EEE, EMath) School, University of Bristol<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PS. A selection of recent papers can be found below. They should give a good indication of the type of PL research conducted at Bristol:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Perera et al. (2022). Linked visualisations via Galois dependencies. POPL 2022. 10.1145/3498668<o:p></o:p></p>
<p class="MsoNormal">- Xie et al. (2022). Staging with Class. POPL 2022. 10.1145/3498723<o:p></o:p></p>
<p class="MsoNormal">- Yamaguchi et al. (2021). Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. OOPSLA 2021. 10.1145/3485482<o:p></o:p></p>
<p class="MsoNormal">- Qian Z et al. (2021). Client-Server Sessions in Linear Logic. ICFP 2021. 10.1145/3473567<o:p></o:p></p>
<p class="MsoNormal">- Jones E & Ramsay S. (2021). Intensional Refinement Datatypes. POPL 2021. 10.1145/3445980<o:p></o:p></p>
<p class="MsoNormal">- Gratzer D et al. (2020). Multimodal Dependent Type Theory. LICS 2020. 10.1145/3373718.3394736<o:p></o:p></p>
<p class="MsoNormal">- Matsuda K & Wang M. (2020). Sparcl: A Language for Partially-Invertible Computation. ICFP 2020. 10.1145/3409000<o:p></o:p></p>
<p class="MsoNormal">- Zhang J et al. (2019). A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Transactions on Software Engineering. 10.1109/TSE.2019.2961897<o:p></o:p></p>
<p class="MsoNormal">- Abate A et al. (2019). Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants. Acta Informatica, vol 57. 10.1007/s00236-019-00359-1<o:p></o:p></p>
<p class="MsoNormal">- Almeida et al. (2019). Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS 2019. 10.1145/3319535.336321<o:p></o:p></p>
</div>
</body>
</html>