Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD Studentship "Formal Specification and Cert...

Email Gateway (Aug 18 2022 at 11:39):

From: Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
[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@lifc.univ-fcomte.fr
Christophe Ringeissen, Christophe.Ringeissen@loria.fr

Last updated: Nov 21 2024 at 12:39 UTC