From pw@montefiore.ulg.ac.be Mon Jul 14 17:42 MET 1997 Return-Path: From: pw@montefiore.ulg.ac.be Date: Mon, 14 Jul 1997 17:42:22 +0200 Message-Id: <199707141542.RAA21840@gaston.montefiore.ulg.ac.be> To: amast@cs.utwente.nl, forma@imag.fr, procos-list@comlab.ox.ac.uk Subject: Research position Content-Type: text Content-Length: 690 Status: O University of Liege Software System Analysis and Verification Group Prof. Pierre Wolper The available research position is to work in the context of a European project (ESPRIT-LTR) on verification tools and applications. Duration is for up to 32 months starting as early as September 1997. The position offers a fair amount of flexibility concerning the work to be done and is suitable either for a pre-doctoral or for a post-doctoral researcher. For more information or for applying, send email to P. Wolper Institut Montefiore, B28 Universite de Liege 4000 Liège Tel.: 04-3662099 Fax: 04-3662984 Email: pw@montefiore.ulg.ac.be URL: http://www.montefiore.ulg.ac.be/~pw/