[isabelle] PhD Studentship "Formal Specification and Certification in Automated Deduction"

                    [Apologies for cross-postings]

                          PHD STUDENTSHIP
   Formal Specification and Certification in Automated Deduction

                   Closing date: May 15, 2008

The Research Group CASSIS/INRIA Nancy Grand Est (France) invites
applications for a three-year-funded PhD studentship in Formal
Specification and Certification in Automated Deduction. We are looking
for candidates with a good honours degree in Theoretical Computer
Science, Formal Verification/Validation or Mathematics, with
programming skills and some experience in Automated Deduction.

Required skills:
- Master's degree in Computer Science
- experience in Automated Deduction
- good command of the English language

Desirable skills:
- experience in application of formal methods to system validation
- familiarity with Coq and/or CAML

Further details can be found at:


For further information/queries, please contact:

       Olga Kouchnarenko, Olga.Kouchnarenko at lifc.univ-fcomte.fr
       Christophe Ringeissen, Christophe.Ringeissen at loria.fr

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.