<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>
"Invited researcher" position in <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>
(<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 "Invited researcher" position is available in the
"Verification" team in LIAFA (CNRS and Univ. <span
class="yshortcuts" id="lw_1248182257_3">Paris Diderot)</span>. <br>
The topic is the development of 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 10 months.<br>
The position is available immediately. <br>
<br>
<br>
How to apply:<br>
==========<br>
Candidates must have a PhD in <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 </span> PhD
student close to finishing.<br>
The candidate must send a CV 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 (<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>