France: PhD Position in Computer Science

Sunday, May 17th, 2009 at 9:42 am

Font size:

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).