coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Studentship "Formal Specification and Certification in Automated Deduction"

From: Christophe Ringeissen <Christophe.Ringeissen AT loria.fr>
To: ccl AT ps.uni-sb.de, clp AT comp.nus.edu.sg, coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk, pvs AT csl.sri.com, alp-diffusion AT univ-lille1.fr
Subject: [Coq-Club] PhD Studentship "Formal Specification and Certification in Automated Deduction"
Date: Wed, 30 Apr 2008 18:44:16 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                    [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

[Coq-Club] PhD Studentship "Formal Specification and Certification in Automated Deduction", Christophe Ringeissen