[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Postdoc position at LIAFA, Paris, France: Software Analysis

Please distribute (apologies for multiple postings):


Postdoc position in  LIAFA

Contact: Tayssir TOUILI   (touili@xxxxxxxxxxxxxxxxxxxxxxxxxxx)

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@xxxxxxxxxxxxxxxxxxxxxxxxxxx)