Logic List Mailing Archive

PhD student position in verification, Paris (France)

===============================
A PhD position in LIAFA <http://www.liafa.univ-paris-diderot.fr/index_en.php>
==================

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

A PhD position is available in the "Verification" team in LIAFA, Paris.

The subject of the thesis is about Software verification. The PhD student 
is expected to investigate and develop novel techniques, algorithms and 
tools for the analysis of software.



How to apply:
==========

The position is available immediately. Candidates must have a master in 
computer science. The candidate must send a CV, university grades, 
recommendation letters, and a motivation letter to Tayssir TOUILI 
(touili@liafa.univ-paris-diderot.fr)