Difference between revisions of "Funded Post-doc positions in Program Analysis and Verification"
Sighireanu (Talk | contribs) (Created page with "A post-doc position on “program analysis and verification” is open at University of Paris Diderot (Paris 7) for joining the "Modeling and Verification" group at [LIAFA,htt...") |
Sighireanu (Talk | contribs) |
||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | A post-doc position on “program analysis and verification” is open at University of Paris Diderot (Paris 7) for joining the "Modeling and Verification" group at [ | + | A post-doc position on “program analysis and verification” is open at University of Paris Diderot (Paris 7) for joining the "Modeling and Verification" group at IRIF [https://www.irif.univ-paris-diderot.fr/en/index]. The position is open for one year, starting in 2016, 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”. The project addresses foundational and practical issues related to the following topics: | + | The position is funded by the french ANR project “Vecolib: Verifying Automatically the Correct Use and Implementation of Container Libraries” [http://vecolib.imag.fr]. The project addresses foundational and practical issues related to the following topics: |
* Static program analysis and abstract interpretation, model-checking | * Static program analysis and abstract interpretation, model-checking | ||
* Logics for programs with dynamic data structures and arrays | * Logics for programs with dynamic data structures and arrays | ||
Line 10: | Line 10: | ||
Interested candidates may send further questions and a short statement | 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 ( | + | of research interests, including their CV and two or three reference persons to Mihaela Sighireanu (mihaela DOT sighireanu AT liafa DOT univ-paris-diderot DOT fr). |
Latest revision as of 10:24, 6 May 2016
A post-doc 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 one year, starting in 2016, 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 (mihaela DOT sighireanu AT liafa DOT univ-paris-diderot DOT fr).