<html data-lt-installed="true">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body style="padding-bottom: 1px;">
<p>We are looking for a software development engineer to support
research projects on formal methods, in particular on programming
languages and type systems.<br>
</p>
<p>The person recruited will be shared between three computer
science laboratories in Paris region: IRIF, LIPN and LMF. The
working place could be any of the three laboratories, in agreement
with the recruited person and according to the needs of the
projects. Moreover, telecommuting can be considered according to
the regulations in place at CNRS.</p>
<p><b>Application deadline: March the 17th<br>
</b>Duration: 12 months renewable<br>
</p>
<p>For more information and to apply:
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx?lang=EN__;!!IBzWLUs!Ql7d-5vXucfT0TJ6Zh7-PXtI2V03lVo4adfzHFugRsS9ehiH4ccySl4PhFGqu1MhyOXhMFyasSyKXUTs5T-z8emk$">https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx?lang=EN</a></p>
<p>best regards<br>
</p>
<p>Giuseppe Castagna<br>
</p>
<div id="grammalecte_menu_main_button_shadow_host" style="width:
0px; height: 0px;"></div>
<div class="moz-signature"
signature-switch-id="7aca9c06-c8b4-44cd-9701-c965d1bec520">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title></title>
<p style="margin-bottom:0cm;margin-bottom:.0001pt"><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#1F497D"></span></b></p>
<table width="406" height="126" cellspacing="0" cellpadding="2"
border="0">
<tbody>
<tr>
<td width="160" valign="middle" height="120" align="center"><img
moz-do-not-send="false"
src="cid:part1.Jp4rLUV7.ZJ2pHWrn@irif.fr" alt=""
width="140" height="99"><br>
</td>
<td width="180" valign="middle" height="120" align="left">
<p style="margin-bottom:0cm;margin-bottom:.0001pt"><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#1F497D">Giuseppe
CASTAGNA<br>
</span></b><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#323E4F">Directeur
de l'IRIF</span></b></p>
<p
style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:0cm;margin-bottom:.0001pt"><span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#323E4F">Institut
de Recherche en<br>
Informatique Fondamentale</span></p>
<span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:#323E4F">Unité
Mixte de Recherche<br>
<b>CNRS </b>et <b>Université Paris Cité</b></span><br>
<a href="https://urldefense.com/v3/__https://www.irif.fr__;!!IBzWLUs!Ql7d-5vXucfT0TJ6Zh7-PXtI2V03lVo4adfzHFugRsS9ehiH4ccySl4PhFGqu1MhyOXhMFyasSyKXUTs5a8-lwna$"><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif">https://www.irif.fr</span></b></a></td>
</tr>
</tbody>
</table>
<a href="https://urldefense.com/v3/__https://www.irif.fr__;!!IBzWLUs!Ql7d-5vXucfT0TJ6Zh7-PXtI2V03lVo4adfzHFugRsS9ehiH4ccySl4PhFGqu1MhyOXhMFyasSyKXUTs5a8-lwna$"><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif"></span></b></a>
<p></p>
<div id="grammalecte_menu_main_button_shadow_host" style="width:
0px; height: 0px;"></div>
<lt-container></lt-container>
</div>
</body>
<lt-container></lt-container>
</html>