From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id DF34CBC69 for ; Tue, 31 Jul 2007 10:24:26 +0200 (CEST) Received: from smtp-dub.microsoft.com (smtp-dub.microsoft.com [213.199.138.191]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6V8OQX9003879 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Tue, 31 Jul 2007 10:24:26 +0200 Received: from DUB-EXHUB-C303.europe.corp.microsoft.com (65.53.213.93) by DUB-EXGWY-E801.partners.extranet.microsoft.com (10.251.129.1) with Microsoft SMTP Server (TLS) id 8.1.122.1; Tue, 31 Jul 2007 09:24:26 +0100 Received: from EA-EXMSG-C312.europe.corp.microsoft.com ([65.53.221.29]) by DUB-EXHUB-C303.europe.corp.microsoft.com ([65.53.213.93]) with mapi; Tue, 31 Jul 2007 09:24:25 +0100 From: Simon Peyton-Jones To: "haskell@haskell.org" , "caml-list@inria.fr" Cc: Tim Griffin Date: Tue, 31 Jul 2007 09:24:25 +0100 Subject: 3-yr post for language person Thread-Topic: 3-yr post for language person Thread-Index: AcfTTDQocycpH9SQQ8OnP/hxsq4Sng== Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Miltered: at discorde with ID 46AEF1BA.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; peyton-jones:01 vacancies:98 simonpj:02 cambridge:03 implement:06 seeks:06 advertising:92 protocols:07 simon:08 simon:08 tim:08 correct:08 offices:90 lab:09 cgi:90 Tim Griffin is advertising a 3-year research associate position at the Camb= ridge Computer Lab, working on a project that seeks to design and implement= a meta-language for the specification and implementation of correct Intern= et routing protocols. He says "A PL person would be perfect". Details here: http://www.admin.cam.ac.uk/offices/personnel/jobs/vacancies.c= gi?job=3D2114 Simon