<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Please distribute (apologies for multiple postings): <br>
    <br>
    ===============================<br>
    <br>
    Postdoc position in&nbsp; <a rel="nofollow" target="_blank"
      href="http://www.liafa.jussieu.fr/index_en.php"><span
        class="yshortcuts" id="lw_1248182257_0">LIAFA</span></a> <br>
    ==================<br>
    <br>
    Contact: <a rel="nofollow" target="_blank"
      href="http://www.liafa.jussieu.fr/%7Etouili/"><span
        class="yshortcuts" id="lw_1248182257_1">Tayssir TOUILI</span></a>&nbsp;&nbsp;

    (<a rel="nofollow" class="moz-txt-link-abbreviated"
      ymailto="mailto:touili@liafa.jussieu.fr" target="_blank"
href="http://us.mc502.mail.yahoo.com/mc/compose?to=touili@liafa.jussieu.fr"><span
        class="yshortcuts" id="lw_1248182257_2">touili@liafa.jussieu.fr</span></a>)<br>
    <br>
    A Postdoc&nbsp; position is available in the "Verification" team in
    LIAFA, <span class="yshortcuts" id="lw_1248182257_3">Paris</span>.
    <br>
    The&nbsp; topic&nbsp; is the development of&nbsp; new original model-checking and
    static analysis <br>
    &nbsp;techniques for malware detection. <br>
    <br>
    <br>
    <br>
    How to apply:<br>
    ==========<br>
    The position is available from October 2013. <br>
    Candidates must have&nbsp; a PhD in&nbsp;<span style="background: transparent
      none repeat scroll 0% 50%; cursor: pointer; -moz-background-clip:
      -moz-initial; -moz-background-origin: -moz-initial;
      -moz-background-inline-policy: -moz-initial;" class="yshortcuts"
      id="lw_1248182257_5"> computer science (defense before October
      2013)</span>.<br>
    The candidate must send a CV&nbsp; and <span style="background:
      transparent none repeat scroll 0% 50%; cursor: pointer;
      -moz-background-clip: -moz-initial; -moz-background-origin:
      -moz-initial; -moz-background-inline-policy: -moz-initial;"
      class="yshortcuts" id="lw_1248182257_6">recommendation letters</span>
    to Tayssir TOUILI&nbsp;&nbsp; (<a rel="nofollow"
      class="moz-txt-link-abbreviated"
      ymailto="mailto:touili@liafa.jussieu.fr" target="_blank"
href="http://us.mc502.mail.yahoo.com/mc/compose?to=touili@liafa.jussieu.fr">touili@liafa.jussieu.fr)</a><br>
    <br>
    <br>
  </body>
</html>