<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=us-ascii">
<meta name=Generator content="Microsoft Word 12 (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:Consolas;
        panose-1:2 11 6 9 2 2 4 3 2 4;}
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";
        color:black;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
pre
        {mso-style-priority:99;
        mso-style-link:"HTML Preformatted Char";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:10.0pt;
        font-family:"Courier New";
        color:black;}
span.EmailStyle17
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.HTMLPreformattedChar
        {mso-style-name:"HTML Preformatted Char";
        mso-style-priority:99;
        mso-style-link:"HTML Preformatted";
        font-family:Consolas;
        color:black;}
span.EmailStyle21
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:70.85pt 70.85pt 70.85pt 70.85pt;}
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 bgcolor=white lang=SV link=blue vlink=purple>

<div class=WordSection1>

<p class=MsoNormal><span lang=EN-US>&nbsp;</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>The Functional Programming group at
Chalmers is recruiting a postdoctoral researcher for a two year position, starting
as soon as possible. The position is funded by a project in property-based
testing with QuickCheck, with an emphasis specifically on language terms as
test data. We&#8217;re looking for someone with a PhD with a strong Functional
Programming component. &nbsp;Experience with automated test case generation,
whether with QuickCheck or other tools, and with formal specifications, is a
merit.</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>&nbsp;</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>Full details (including how to apply) are
on the web here:</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>&nbsp;</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US><a
href="http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-position-in3564">http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-position-in3564</a></span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>&nbsp;</span><o:p></o:p></p>

<p class=MsoNormal><span lang=EN-US>John Hughes</span><o:p></o:p></p>

<pre><o:p>&nbsp;</o:p></pre></div>

</body>

</html>