[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
mandatory.
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