Logic List Mailing Archive

Postdoctoral position in verification, Paris (France)

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

Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/> 
(touili@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@liafa.univ-paris-diderot.fr)