[FM-India] Postdoc position at LIAFA, Paris, France: Software Analysis

[Madhavan Mukund]

 Subject: 	[gdr-im] Postdoc position at LIAFA, Paris, France: Software
 Analysis
 Date: 	Fri, 16 Nov 2012 17:00:42 +0100
 From: 	Tayssir Touili <touili at liafa.univ-paris-diderot.fr>
 
 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 2013).  The candidate must send a CV and recommendation
 letters to Tayssir TOUILI (touili at liafa.univ-paris-diderot.fr)