<html data-lt-installed="true">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>The Research Institute on the Foundations of Computer Science (<a moz-do-not-send="true" href="https://urldefense.com/v3/__https://www.irif.fr/en/index__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_let3L2PIf$">IRIF</a>)
in Paris is collaborating with <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://dashbit.co/__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_lerRLrHbn$">Dashbit</a> and José Valim, the
author of the <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Elixir_(programming_language)__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_leoy4V2IA$">Elixir
language</a>, to define and implement a type system for the
language. <br>
</p>
<p>A 14-month post-doc position is available at IRIF to work on the
type system.</p>
<p>Full announcement: <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://www.irif.fr/*gc/postdocRecordsElixir.en.html__;fg!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_levf7m05O$">Elixir
Post-doc</a><br>
Contact: <a class="moz-txt-link-abbreviated
moz-txt-link-freetext" href="mailto:Giuseppe.Castagna@irif.fr">Giuseppe.Castagna@irif.fr</a>,
<a class="moz-txt-link-abbreviated moz-txt-link-freetext"
href="mailto:Jose.Valim@dashbit.co">Jose.Valim@dashbit.co</a><br>
Expected start: end 2022, early 2023</p>
<p><font size="2">[see also: <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://www.irif.fr/postes/postdoc__;!!IBzWLUs!TAmLw_wUTYaF2cJMlpYFXI9KPnFbbTes0tyUkh1byDOtClQrjX8Xz4IzbRpBtFo4RfWTrr8XFvEgUt_lesFjMVSm$">IRIF post-doc
available positions page</a>] </font><br>
</p>
<p><br>
</p>
<p><br>
</p>
<p><br>
</p>
<lt-container></lt-container>
<div id="grammalecte_menu_main_button_shadow_host" style="width:
0px; height: 0px;"></div>
</body>
</html>