Please distribute (apologies for multiple postings):
===============================
Postdoc position in LIAFA
========================
Contact: Tayssir TOUILI
(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)