Logic List Mailing Archive

PhD position in theoretical computer science, Paris (France)

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

Contact: Tayssir TOUILI <http://www.liafa.jussieu.fr/%7Etouili/>
(touili@liafa.jussieu.fr)

A PhD position is available in the "Verification" team in LIAFA, Paris. 
This position is funded by the ANR project "BINCOA". The subject of the 
thesis is about binary code verification. The PhD student is expected to 
investigate and develop novel techniques, algorithms and tools for the 
analysis of binary code.

Candidates must have a master in theoretical computer science.

The position is available from September 2009. The candidate must send a 
CV and a motivation letter to Tayssir TOUILI (touili@liafa.jussieu.fr).