[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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@xxxxxxxxxxxxxxxxxxx
       Christophe Ringeissen, Christophe.Ringeissen@xxxxxxxx