Post-doctoral position at LIAFA

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 LIAFA [1]. The position is open for one year, starting in 2015, and could be prolonged for a second year. 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 Mihaela Sighireanu (


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s