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:
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 .
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