<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>