<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <p>-------- Forwarded Message --------</p>
    <div class="moz-forward-container">
      <table class="moz-email-headers-table" cellspacing="0" cellpadding="0" border="0">
        <tbody>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
            </th>
            <td>[DMANET] Post-doctoral position at LIP, ENS de Lyon</td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
            <td>Thu, 21 Apr 2022 09:18:34 +0200</td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
            <td>Nicolas Trotignon <a class="moz-txt-link-rfc2396E" href="mailto:nicolas.trotignon@ens-lyon.fr">&lt;nicolas.trotignon@ens-lyon.fr&gt;</a></td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
            <td><a class="moz-txt-link-abbreviated" href="mailto:dmanet@zpr.uni-koeln.de">dmanet@zpr.uni-koeln.de</a></td>
          </tr>
        </tbody>
      </table>
      <br>
      <br>
      The LIP laboratory, located at the ENS de Lyon in France, is
      offering a 1 year post-doc position in computer science, starting
      on the 1st September 2022. Candidates should have a PhD and a
      strong background in one of the subjects studied in the LIP.
      Please refer to <a class="moz-txt-link-freetext" href="http://www.ens-lyon.fr/LIP/">http://www.ens-lyon.fr/LIP/</a> for details. Topics in
      the scope of the DMANET list include: discrete mathematics,
      computer algebra, combinatorial optimization, algorithms, formal
      proofs, logic, graph theory. <br>
      The salary will depend on the successful candidate's prior
      research experience with a guaranteed minimum of 2300 EUR/month
      before taxes.<br>
      <br>
      An application consists of a single PDF file containing: - a CV
      including a full list of publications; and<br>
      - a research project that in particular proposes a mentor in one
      of the research teams of the LIP.<br>
      <br>
      The application should be sent by email to
      <a class="moz-txt-link-abbreviated" href="mailto:russell.harmer@ens-lyon.fr">russell.harmer@ens-lyon.fr</a> and <a class="moz-txt-link-abbreviated" href="mailto:nicolas.trotignon@ens-lyon.fr">nicolas.trotignon@ens-lyon.fr</a> by
      the 18th May, 23:59 UT. Reference letters should be sent directly
      by email to the same addresses with the same deadline. <br>
      ______________________<br>
      Nicolas Trotignon<br>
      CNRS, LIP, ENS de Lyon<br>
      <a class="moz-txt-link-freetext" href="http://perso.ens-lyon.fr/nicolas.trotignon/index.html">http://perso.ens-lyon.fr/nicolas.trotignon/index.html</a>&gt;<br>
      <br>
    </div>
  </body>
</html>