Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in verification, Paris (France)

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.

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

For more information, see the LIAFA site at http://www.liafa.univ-paris-diderot.fr/index_en.php or the webpage of Tayssir TOUILI at http://www.liafa.jussieu.fr/%7Etouili/.

Please note that this newsitem has been archived, and may contain outdated information or links.