[TYPES/announce] Fwd: PhD position (3 years) at IRIF (Paris, France)

[Claude Marché]

Dear all,

I forward below an announce for a 3-year PhD position in Paris.

First part is in French, but English translation follows. (Note that
speaking French is not required for that position)

- Claude


-------- Message transféré --------
Sujet : [gdr-im] PhD position (3 years) at IRIF (Paris, France)
Date : Fri, 06 May 2016 11:34:37 +0200
De : Mihaela Sighireanu <sighirea at liafa.univ-paris-diderot.fr>
Répondre à : Mihaela Sighireanu <sighirea at liafa.univ-paris-diderot.fr>
Pour : gdr-im at gdr-im.fr


** Merci de diffuser à toute personne qui pourrait être intéressée **

Dans le cadre du projet ANR Vecolib, nous disposons d'une bourse de
thèse (3 ans) sur le sujet suivant :

   “Analyse statique et raffinement pour les structures de données
dynamiques”
   (cf. lien ci-dessous)

Les candidats sont priées d'adresser par courriel à Mihaela Sighireanu
un CV et une lettre de motivation détaillant leurs compétences avant le
15 juin 2016.

Les candidats doivent avoir une formation de base en informatique
théorique (logique, automates, algorithmique et complexité). Des
connaissances en vérification et analyse de programmes, en compilation
sont souhaitables. Une bonne maîtrise d'au moins un langage de
programmation sera un plus.

Contact : mihaela.sighireanu at liafa.univ-paris-diderot.fr
ANR Vecolib : http://vecolib.imag.fr
Sujet :
http://vecolib.imag.fr/index.php/Funded_PhD_(3_years)_in_Program_Analysis

Bien cordialement,
Mihaela Sighireanu

------------------------

Within the ANR project Vecolib, we have a funding for a PhD position (3
years) on the following subject:

   “Static Analysis and Refinement of Dynamic Data Structures”
   (see link for a detailed description)

Students interested in this position should send a CV and a motivation
letter with details on her/his studies, obtained marks, and other
achievements to Mihaela Sighireanu before June 15th, 2016.

A basic background in theoretical computer science (logics, automata,
algorithmics and complexity) is mandatory. Students with basic knowledge
in verification, static analysis and compilation are strongly encouraged
to apply. Good knowledge of at least one programming language is an
asset.

Contact: mihaela.sighireanu at liafa.univ-paris-diderot.fr
ANR Vecolib: http://vecolib.imag.fr
Subject:
http://vecolib.imag.fr/index.php/Funded_PhD_(3_years)_in_Program_Analysis

Best regards,
Mihaela Sighireanu