🚀 go-pugleaf

specification, rewriting, formal verification, automated deduction.


		POST DOCTORAL POSITIONS AVAILABLE AT NANCY

   DEVELOPMENT OF CORRECT PROGRAMS, SPECIFICATIONS AND COMPUTER SYSTEMS
	              	Grouped Grants Activity
        	              of the
			Human Capital and Mobility programme
		Commission of The European Communities, DG XII


In the framework of the Human Capital and Mobility programme, several
fellowships are available for a six month to one year post-doctoral
training in Nancy (INRIA-Lorraine) from fall 1992 to fall 1994.  The
research programme of the applicant should be in one of the following
domains:


    - Models of specification and program development,

    - Proof of program properties: hardware, software and digital
systems verification, concurrency,

    - Systematic construction of specifications and algorithms,

    - Automated deduction for system development, 
    
    - Constraints in programming, specifications and automated
deduction,

    - Construction of tools and environments, for one of the above
domains.


Applications from European citizens (except French) should include:

 - a curriculum vitae, including list of publications, short abstract
   of the dissertation,

 - a scientific programme, including theme, proposed dates of stay,
   envisaged supervisor and collaborations.

and be sent to

Pierre LESCANNE                           | Tel: (work) (33) 83 59 30 07
CRIN (CNRS) & INRIA-Lorraine              |      (home) (33) 83 22 76 92
BP 239                                    | Fax:        (33) 83 27 83 19 
F54506 VANDOEUVRE-les-NANCY Cedex FRANCE  | E-mail: lescanne@loria.fr


before October 10 1992.

Use the same address for further information.

Note: Doctoral fellowships might exceptionally be granted to
applicants without Ph.D.

List of scientists participating to the programme:
--------------------------------------------------

Francis ALEXANDRE
Roberto AMADIO
Adam CICHON
Philippe DE GROOTE
Eric DOMENJOUD
Jean-Pierre FINANCE
Didier GALMICHE
Jacques GUYARD
Isabelle GNAEDIG
Miki HERMANN
Jean-Pierre JACQUOT
Jacques JARAY
Claude KIRCHNER
Helene KIRCHNER
Pierre LESCANNE
Nicole LEVY
Denis LUGIEZ
Dominique MERY
Alain QUERE
Jean-Luc REMY
Jocelyne ROUYER
Michael RUSINOWITCH
Andre SCHAFF
Pierre-Yves SCHOBBENS
Jeanine SOUQUIERES

INRIA-Lorraine
--------------

INRIA-Lorraine (the hosting institution) and CRIN (its partner)
together form one of the leading French research centers in the field
of computer science.  They offer among the best computing environment
and computing facilities in Europe, The hosting teams are widely open
to international contacts, as witnessed by the diverse nationalities
of their members.  Nancy 300 km East of Paris, 100 km South of
Luxemburg and 110 km South-West of Saarbruecken is the Historical
capital of Lorraine, world-famous for its superb Place Stanislas and
for the artistic work of the "Ecole de Nancy".  Nancy is a lively
academic city counting more than 40 000 students.  It offers a
stimulating cultural environment and low price lodging opportunities.
Nancy has an international airport it shares with its twin city of
Metz.

-- 
Pierre-Yves Schobbens
 
Centre National de la Recherche Scientifique	phone:  +33 83 91 24 25  
Centre de Recherche en Informatique de Nancy 	e-Mail: schobben@loria.fr
Campus Scientifique, B.P. 239			fax:    +33 83 41 30 79
F-54506 Vandoeuvre-les-Nancy Cedex		telex:  NANCYUN 960 646 F