[isabelle] Phd Positions available
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"
B) Title : "Model-based Testing of Concurrent Operating-System Functions"
C) Title : "Model-based Testing of Operating-System-Level Security Mechanisms"
D) (CIFRE) Title : "GUI-level Sequence testing with HOL-TestGen"
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