[FM-India] Post-doc position available in Univ Paris 7

Madhavan Mukund madhavan at cmi.ac.in
Wed Feb 3 19:31:55 IST 2016

 A post-doctoral position on “program analysis and verification” is open at
 University of Paris Diderot (Paris 7) for joining the "Modeling and
 Verification" group at IRIF [1]. The position is open for two years,
 starting no later than mid-2016. The salary is competitive and includes
 health insurance.
 The position is funded by the french ANR project “Vecolib: Verifying
 Automatically the Correct Use and Implementation of Container Libraries”
 [2]. The project addresses foundational and practical issues related to the
 following topics:
 * Static program analysis and abstract interpretation, model-checking
 * Logics for programs with dynamic data structures and arrays
 * Decision procedures, SMT solvers
 * Automata-based techniques for program verification
 Candidates must have a PhD in computer science, and be skilled in both
 theoretical and practical aspects. They must have a solid background in
 theory (automata, logics, algorithms, etc.) and a practical experience in
 software development. Experience with software development, for example
 verification/analysis tool prototypes, is very welcome. We are seeking
 individuals who are self-motivated and autonomous, willing to take
 initiatives in research. Good English or French language skills are
 Interested candidates may send further questions and a short statement of
 research interests, including their CV and two or three reference persons to
 any member of the group:
 Ahmed Bouajjani (ahmed.bouajjani at liafa.univ-paris-diderot.fr),
 Constantin Enea (constantin.enea at liafa.univ-paris-diderot.fr),
 Peter Habermehl (peter.habermehl at liafa.univ-paris-diderot.fr), and
 Mihaela Sighireanu (mihaela.sighireanu at liafa.univ-paris-diderot.fr)
 [1] http://www.liafa.univ-paris-diderot.fr/web9/equiprech/listequipe_en.php?ideq=4
 [2] http://vecolib.imag.fr/

More information about the FMIndia mailing list