[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:

http://www.inria.fr/travailler/opportunites/doc.en.html

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.