[ecoop-info] PhD Studentship in Computer Science LORIA, Team Mosel, Université de,Lorraine.

Dominique Mery dominique.mery at loria.fr
Tue Jul 8 00:42:59 CEST 2014

PhD Studentship in Computer  Science LORIA, Team Mosel,  Université de

Starting date: October 1, 2014

The  objective of the  thesis is  to propose  a framework to formally
handle domain knowledge in  system design.  Nowadays, formal models do
not make  a  clear separation between the   design model of a system,
which is specific  to  the studied system  and  the domain where this
system evolves. Integrating the  models of a system  and the  model of
the  domain in a formal  framework is the  target  of the proposed PhD

The   successfull candidate will   be  working with   partners  of the
consortium  of the    ANR    Project  IMPEX.   The    IMPEX project
(impex/loria.fr) is a project  financed  through the French National
Research Agency namely ANR, for 48 months.  It involves five partners:
LORIA, IRIT/ENSEIHT, Telecom Sud   Paris, Supelec, and Systerel. The
IMPEX project is about separation of  intrinsic and extrinsic concerns
by building explicit formal models of contextual semantics using proof
based  techniques  and illustrated  on a diverse  range of application

The successful  PhD  Student will be  registered  in the Université de
Lorraine and will   be co-supervised by Dominique  Méry  (from UL) and
Yamine  Ait-Ameur  (from IRIT/ENSEIHT).   The  candidate will  have to
interact for application  domains with Dr Paul  Gibson.  Fees are very
low (about  400  euros per year)  and  the salary is on  the classical
scale of a Contrat Doctoral (approx 1400 euros per month after taxes)

Applications     can  be   made  by         sending  an email to
dominique.mery at loria.fr with the subject "IMPEX Grant". The successful
candidate must have obtained at least a master degree (5 years degree)
in Computer Science or a  cognate discipline, and be highly motivated
to work on  a project that includes  both research and development of
models.  Every application will  be analysed individually.

The French language is not  required and experiences in formal methods
as Event-B (Rodin) and the use of proof  assistants as CoQ, Isabelle,
PVS,  as  well  as   model- checking-based  techniques  are wellcome.
Modelling techniques  are positive  points for an  application, either
formal or semi-formal techniques.

For  informal inquiries about  the  position, please contact Professor
Dominique Mery at   dominique.mery at loria.fr  with the  subject "IMPEX

Dominique MERY
LORIA laboratory
Université  de Lorraine
Phone: +33383592019

More information about the ecoop-info mailing list