From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA08758; Mon, 8 Oct 2001 22:37:59 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA08897 for caml-list@pauillac.inria.fr; Mon, 8 Oct 2001 22:37:53 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA30219 for ; Mon, 8 Oct 2001 13:17:43 +0200 (MET DST) Received: from muck.dcs.ed.ac.uk (muck.dcs.ed.ac.uk [129.215.216.15]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f98BHgr11584; Mon, 8 Oct 2001 13:17:42 +0200 (MET DST) Received: from haggis.dcs.ed.ac.uk (root@haggis.dcs.ed.ac.uk [129.215.58.73]) by muck.dcs.ed.ac.uk with ESMTP id MAA06933; Mon, 8 Oct 2001 12:17:21 +0100 (BST) Received: (from dts@localhost) by haggis.dcs.ed.ac.uk (8.11.6/8.11.6) id f98BHBo06253; Mon, 8 Oct 2001 12:17:11 +0100 From: Don Sannella MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Message-ID: <15297.35638.843437.237173@haggis.dcs.ed.ac.uk> Date: Mon, 8 Oct 2001 12:17:10 +0100 To: types@cis.upenn.edu, ipa-list@win.tue.nl, caml-list@inria.fr, haskell@dcs.glasgow.ac.uk, concurrency@cwi.nl, glasgow-fp@dcs.gla.ac.uk, categories@mta.ca, appsem@cs.chalmers.se, appsem@dcs.qmw.ac.uk, appsem@pauillac.inria.fr, appsem@disi.unige.it, theory@brics.dk, prog-lang@brics.dk, isabelle-users@cl.cam.ac.uk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, logic@cs.cornell.edu, prog-lang@diku.dk, pop-group@cs.cmu.edu, logic@theory.lcs.mit.edu, coq-club@pauillac.inria.fr, focs@comlab.ox.ac.uk Subject: [Caml-list] FOUR research positions in Edinburgh and Munich X-Mailer: VM 6.89 under 21.1 (patch 14) "Cuyahoga Valley" XEmacs Lucid Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk We apologize if you have received multiple copies of this message. Please forward to potential applicants. ---------------------------------------------------------------------- =09=09 FOUR research positions available Laboratory for Foundations of Computer Science, University of Edinburgh= =09=09=09=09 and Institut f=FCr Informatik, Ludwig-Maximilians-Universit=E4t M=FCnche= n =09 on the "Mobile Resource Guarantees" project =09=09 http://www.lfcs.ed.ac.uk/mrg =09=09 Closing date: 31 October 2001 The University of Edinburgh and LMU Munich are beginning a joint project entitled "Mobile Resource Guarantees" (MRG) funded by the European Commission under the Global Computing initiative. The project aims to build foundational and practical infrastructure for endowing mobile code with independently verifiable certificates as to its resource consumption. These certificates take the form of condensed formal proofs, generated from typing derivations in linear type systems for describing resource bounds of high-level code. A wide variety of technical work is involved, ranging from theory to development of prototype implementations. We seek applicants who are willing and able to contribute to a team effort, with a strong background in some combination of the following areas: program logic and proof systems, formal methods type systems and static analysis semantics of programming languages (concrete) computational complexity theory compilation techniques for functional and OO programs programming of embedded systems and/or smartcards Alternatively, applicants may have a strong general CS background and be willing to invest some time and energy to catch up on a new and exciting topic. A PhD or equivalent research background is required. The project is scheduled to start in January 2002 and run for three years. Two research positions are available in Edinburgh and two in Munich. In appointing to these positions, we will attempt to optimize the mix of backgrounds and interests at each site and across the project as a whole. It is expected that appointments will be for three years at one site or the other, but there may be scope for shorter appointments as well as for slightly longer appointments involving another closely related project, and also for appointments for part of the time at each of the two sites. Candidates should apply to either Edinburgh or Munich by 31 October 2001. Applicants who are willing to work at either site should apply to Edinburgh, and clearly indicate this willingness on their application. Applicants should send a CV, a statement of the relevance of their background to the MRG project, and contact information for 2-3 referees. Applications to Edinburgh should quote reference 310850 and be sent to Personnel Department, University of Edinburgh, 9-16 Chambers Street, Edinburgh EH1 1HT (fax +44 131 650 6509, or apply on-line at www.jobs.ed.ac.uk). Applications to Munich should be sent to Professor Martin Hofmann, Institut f=FCr Informatik, Oettingenstrasse 67, 80538 M=FCnchen, Germany (fax +49 89 2178 2238, e-mail mhofmann@informatik.uni-muenchen.de). Appointments in Edinburgh will be on the AR1A scale, =A317451-26229 per annum. Appointments in Munich will be on the BATIIa scale, 4000-6253DM per month plus a supplement from 1034DM per month depending on family circumstances. For more information, visit http://www.lfcs.ed.ac.uk/mrg. In Edinburgh, contact Don Sannella , telephone +44 131 650 5184. In Munich, contact Martin Hofmann , telephone +49 89 2178 2144. Edinburgh and Munich are both wonderful cities to live in, with a dynamic cultural life as well as easy access to spectacular countryside. Edinburgh: http://www.geo.ed.ac.uk/home/tour/edintour.html LFCS: http://www.lfcs.informatics.ed.ac.uk/ Munich: http://www.muenchen.de/ TCS group at LMU M=FCnchen: http://www.tcs.informatik.uni-muenchen.de= / ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr