🚀 go-pugleaf

Le Laboratoire de g=E9nie logiciel offre un poste d'

   assistant(e)-doctorant(e) in informatique
  =

La collaboratrice/le collaborateur travaillera sur l'extension de la
m=E9thode Fusion
aux syst=E8mes r=E9partis ou =E0 l'int=E9gration de notations formelles d=
ans
cette m=EAme
m=E9thode (75% de l'activit=E9).  Il sera par ailleurs charg=E9 de t=E2ch=
es
d'enseignement
(25% de l'activit=E9).

Le Laboratoire de g=E9nie logiciel de l'Ecole polytechnique f=E9d=E9rale =
de
Lausanne poursuit des recherches dans les m=E9thodes formelles, dans les
m=E9thodes de d=E9veloppement bas=E9es sur les objets, couvrant toutes le=
s
phases de l'analyse au test, en passant par l'impl=E9mentation dans le
langage de programmation Ada.  Les applications actuellement en
d=E9veloppement ont trait au multim=E9dia et =E0 la robotique.  Pour une
pr=E9sentation plus d=E9taill=E9e du Laboratoire, vous pouvez consultez:

   http://lglwww.epfl.ch/


Formation exig=E9e:  ing=E9nieur(e) EPF ou titre universitaire en
informatique.

Langues:  fran=E7ais (oral) et anglais (oral et =E9crit).

Entr=E9e en fonction:  le 1er ao=FBt 1997 ou =E0 convenir.

Les candidatures, accompagn=E9es des pi=E8ces usuelles (lettre de
postulation, CV, =

copies des dipl=F4mes, etc.), sont =E0 envoyer =E0:

Prof. Alfred Strohmeier, Swiss Fed Inst of Technology in Lausanne
EPFL-DI-LGL, CH-1015 Lausanne, Switzerland
Tel +41 21 693 4231, Fax +41 21 693 5079
mailto:alfred.strohmeier@di.epfl.ch or http://lglwww.epfl.ch/