[isabelle] Phd Positions available

Dear all,

there are several Phd Positions available 
at the university of  Paris-Sud (Plateau de Saclay), in the
Groupe ForTesSE at the Laboratoire de Recherche 
en Informatique (LRI). The Phd projects (funded by EU
an EU project as well as industrial partners)
are oriented towards model-based testing, in combination
with formal proofs in isabelle/HOL. 

A) Title : "Model-Based testing of Concurrent JAVA Programs"
     Description: http://www.lri.fr/~wolff/diss-proposals/MBT-Concur-Java.pdf

B) Title : "Model-based Testing of Concurrent Operating-System Functions"
     Description: http://www.lri.fr/~wolff/diss-proposals/MBT-ConcurrentOSTesting.pdf

C) Title : "Model-based Testing of Operating-System-Level Security Mechanisms"
     Description: http://www.lri.fr/~wolff/diss-proposals/MBT-OSLevelSecurityTesting.pdf

D) (CIFRE) Title : "GUI-level Sequence testing with HOL-TestGen"
     Description: http://www.lri.fr/~wolff/diss-proposals/GUI-levelSequenceTesting.pdf

Applicants should send me their CV not later than the 15th July 2012.

Burkhart Wolff (www.lri.fr/~wolff/)

Equipe ForTesSE  (fortesse.lri.fr)

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