<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>Dear All,</p>
<p>The Department of Computer Science and Engineering at University
of Gothenburg and Chalmers University of Technology is offering a
2-year postdoc position for <span style="white-space: pre-wrap">work on </span><span style="white-space: pre-wrap">compilation of cubical type theory.</span></p>
<p><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550__;!!IBzWLUs!RMmLHUBRWqRn0SPqIQPkX-08Ouq_fkB3z2g-8RDhJ3J11b-YJ7EHMQWitxgvWGUlNohneE1i3ogz8ugHDp4cUBEDfUhUNQ$" style="white-space: pre-wrap;">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550</a></p>
<p>
<style>@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:-536870145 1107305727 0 0 415 0;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin-top:0cm;
margin-right:2.0cm;
margin-bottom:0cm;
margin-left:0cm;
line-height:14.0pt;
mso-line-height-rule:exactly;
mso-pagination:widow-orphan;
mso-hyphenate:none;
font-size:11.0pt;
mso-bidi-font-size:12.0pt;
font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New Roman";
mso-font-kerning:1.0pt;
mso-ansi-language:SV;
mso-fareast-language:EN-US;}.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-size:11.0pt;
mso-ansi-font-size:11.0pt;
mso-bidi-font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:Calibri;
mso-bidi-theme-font:minor-bidi;
mso-font-kerning:0pt;
mso-ligatures:none;
mso-ansi-language:SV;
mso-fareast-language:EN-US;}.MsoPapDefault
{mso-style-type:export-only;
mso-hyphenate:none;}div.WordSection1
{page:WordSection1;}</style></p>
<p><u><span style="white-space: pre-wrap">Application deadline: June 12.</span></u></p>
<p><span style="white-space: pre-wrap">Please do not hesitate to contact us if you have any questions regarding this position!</span></p>
<p><span style="white-space: pre-wrap">Best regards</span></p>
<pre class="moz-signature" cols="72">--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!RMmLHUBRWqRn0SPqIQPkX-08Ouq_fkB3z2g-8RDhJ3J11b-YJ7EHMQWitxgvWGUlNohneE1i3ogz8ugHDp4cUBHuTuZnvQ$">https://www.chalmers.se/en/persons/bove</a>
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg</pre>
</body>
</html>