<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

Hi all</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

John Wickerson and I have an opening for a two year postdoc on specification and verification of heterogeneous systems, and their programming languages.

<a href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CQR812/research-associate-in-formal-specification-and-verification-of-heterogeneous-systems__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRePLa-E8$" title="https://www.jobs.ac.uk/job/CQR812/research-associate-in-formal-specification-and-verification-of-heterogeneous-systems">

See here for details</a>. I'd be very grateful if you should share this with folks who might be interested.</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

Feel free to contact either <a href="https://urldefense.com/v3/__https://multicore.doc.ic.ac.uk/__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRSZc0UW8$" title="https://multicore.doc.ic.ac.uk/">

me</a> or <a href="https://urldefense.com/v3/__https://johnwickerson.github.io/__;!!IBzWLUs!RTdRWG82UfjifnKG9qWHNkfFuKEIOs_5CCDu2nWut3xKMibHDtnr5Mf4_g7mfKPnE0ssn0R8cnBaThj6bBntg0GrH5etY34WkpZ6PmHRXD01De8$" title="https://johnwickerson.github.io/">

John</a> if you're interested in applying and would like to chat informally first.</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

Thanks!</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

Ally</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">

<br>

</div>

</body>

</html>