From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id F34F9BCAE for ; Tue, 28 Jun 2005 21:45:49 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5SJjnZ5003186 for ; Tue, 28 Jun 2005 21:45:49 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA20485 for ; Tue, 28 Jun 2005 21:45:49 +0200 (MET DST) Received: from blaster.systems.pipex.net (blaster.systems.pipex.net [62.241.163.7]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5SJjmXX003182 for ; Tue, 28 Jun 2005 21:45:49 +0200 Received: from [10.0.1.2] (81-86-232-130.dsl.pipex.com [81.86.232.130]) by blaster.systems.pipex.net (Postfix) with ESMTP id 76A9EE000059 for ; Tue, 28 Jun 2005 20:45:48 +0100 (BST) Mime-Version: 1.0 Message-Id: Date: Tue, 28 Jun 2005 20:44:25 +0100 To: caml-list@inria.fr From: Kevin Hammond Subject: [ANNOUNCEMENT]: Two Postdoctoral Research Fellowships in Functional Programming Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 42C1A8ED.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42C1A8EC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; dcs:01 st-and:01 heriot-watt:01 bae:01 heriot-watt:01 michaelson:01 macs:01 3475:01 quoting:01 dcs:01 st-and:01 vehicles:98 wallace:98 wallace:98 sta:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [With apologies in advance for any duplication. Kevin] Heriot-Watt University, School of Mathematical & Computer Sciences/ University of St Andrews, School of Computer Science Two Postdoctoral Research Positions in Embedded=20 Software for Visual Sensing on Autonomous Vehicles =A321,640 - =A329,128 per annum Applications are invited from well-qualified=20 individuals for this BAE SYSTEMS supported=20 project. The first post, to be held at=20 Heriot-Watt University, involves the evaluation=20 of functional and imperative approaches to=20 constructing embedded image processing software=20 to perform simultaneous motion computation and=20 environmental mapping. The second post, to be=20 held at the University of St Andrews, involves=20 the development of static analyses of time and=20 space behaviour for the embedded software.=20 Appointments will be made for one year in the=20 first instance with a strong expectation of=20 continuing to a further year. The starting date=20 will be 5th September 2005 or as soon as possible=20 thereafter. The closing date for applications is July 8th. =46or further details of the HWU post please contact Dr Greg Michaelson ( greg@macs.hw.ac.uk ) or Prof Andy Wallace (=20 A.M.Wallace@hw.ac.uk ). For application details=20 please contact the Human Resources Office,=20 Heriot-Watt University Edinburgh EH14 4AS,=20 telephone 0131 451 3475 (24 hours) Minicom 0131 451 8212 or email hr@hw.ac.uk=20 quoting Ref 88/05/*. The advertisement and=20 further particulars may be viewed at:=20 http://www.hw.ac.uk/hr/v_research.php . =46or further details of the StA post please=20 contact Dr Kevin Hammond (kh@dcs.st-and.ac.uk).=20 Please quote ref: CD243/05. Application forms=20 and further particulars are available from Human=20 Resources, University of St Andrews, College=20 Gate, North Street, St Andrews, Fife KY16 9AJ,=20 (tel: 01334 462571, by fax 01334 462570 or by=20 e-mail Jobline@st-andrews.ac.uk. The=20 advertisement and further particulars can be=20 viewed at=20 http://www.st-andrews.ac.uk/hr/recruitment/vacancies.=20