[JC] ================================================ AMAST Links 02 06

             Postgraduate Scholarship in Computing Science 
                   University Henri Poincare Nancy 1
                        CRIN-CNRS URA 262

  The Research Center in Computing Science at Nancy (CRIN Research Unit
of CNRS 262) contains an active research group in formal methods and
applications, namely MODEL lead by Prof D MERY. Major areas of research
include:
 o  Temporal/modal logics
 o  Foundations of refinement
 o  Formal methods for concurrency/distributed computing
 o  Sofware Tools for verification and design
 o  Applications of formal methods to telecommunications, highly
    performant computing, safety critical systems...
  Applications are invited from students with good graduates degrees in
Computer/Computing Science or with a DEA (Computing Science) (or an
equivalent degree) to join this group to study towards a D. Phil.
degree.  A scholarship for a suitably qualified candidate is for the
october 1995 entry.  The level of the maintenance grant is linked to
the standard grant offered  by CNRS which for 1994/1995 was approx. set
at 8000 FF per month. The grant is a three-year contract.
  *Scholarship:* The successful candidate will be expected to work on
project in collaboration with industrial partner. The main topic is the
formal specification of service in IN and the development of tools.
  *Further Information:* On the WWW via URL: http://www.loria.fr/~mery
  More detailed information on the studentship is available from
mery@loria.fr .
  *How to apply:*
  Send a full and complete CV (poscript by email), a copy of the degree
certificates and arrange for three references to be sent directly to:
   Professor Dominique MERY
   CRIN-CNRS & INRIA Lorraine
   Batiment LORIA
   BP 239
   54506 Vandoeuvre-les-Nancy
   France
   email: mery@loria.fr, phone: +33 83 59 20 14, fax: +33 83 41 30 79