[Om-announce] Postdoc position at LIAFA, Paris, France: Software Analysis

Tayssir Touili touili at liafa.univ-paris-diderot.fr
Fri Nov 16 17:00:42 CET 2012

Please distribute (apologies for multiple postings):


Postdoc position in LIAFA <http://www.liafa.jussieu.fr/index_en.php>

Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/> 
(touili at liafa.univ-paris-diderot.fr)

A Postdoc  position is available in the "Verification" team in LIAFA 
(CNRS and Univ. Paris Diderot).
The  topic  is the development of  new original model-checking and 
static analysis
techniques for the analysis of software and/or concurrent programs.
The position is available from October 2013.

How to apply:
Candidates must have  a PhD in computer science (defense before October 
The candidate must send a CV  and recommendation letters to Tayssir 
TOUILI   (touili at liafa.univ-paris-diderot.fr)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20121116/649db4ee/attachment.html>

More information about the Om-announce mailing list