<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 <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>
A Postdoc position is available in the "Verification" team in
LIAFA, <span class="yshortcuts" id="lw_1248182257_3">Paris</span>.
<br>
The topic is the development of new original model-checking and
static analysis <br>
techniques for malware detection. <br>
<br>
<br>
<br>
How to apply:<br>
==========<br>
The position is available from October 2013. <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 (defense before October
2013)</span>.<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>