<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Please distribute (apologies for multiple postings): <br>
    <br>
    ===============================<br>
    <br>
    &nbsp;"Invited researcher" 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>
    An&nbsp; "Invited researcher"&nbsp; position is available in the
    "Verification" team in LIAFA (CNRS and Univ. <span
      class="yshortcuts" id="lw_1248182257_3">Paris Diderot)</span>. <br>
    The&nbsp; topic&nbsp; is the development of&nbsp; new original model-checking and
    static analysis <br>
    techniques for the analysis of software and/or concurrent programs.
    <br>
    The duration can vary between 4 and&nbsp; 10 months.<br>
    The position is available immediately. <br>
    <br>
    <br>
    How to apply:<br>
    ==========<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, or be a&nbsp;</span> PhD
    student close to finishing.<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>