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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id D1FDDBBAF for ; Tue, 10 Mar 2009 17:02:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEANcrtkmCn8Rg/2dsb2JhbADTZIQMBg X-IronPort-AV: E=Sophos;i="4.38,336,1233529200"; d="scan'208";a="36354493" Received: from smtphost.cis.strath.ac.uk ([130.159.196.96]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Mar 2009 17:02:05 +0100 Received: from lap-mac-conor2.cis.strath.ac.uk (lap-mac-conor2.cis.strath.ac.uk [130.159.184.60]) by arnott.cis.strath.ac.uk (8.14.2/8.14.2/Debian-2build1) with ESMTP id n2AFxuVU021844 for ; Tue, 10 Mar 2009 16:02:04 GMT Message-Id: From: Conor McBride To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=WINDOWS-1252; format=flowed Content-Transfer-Encoding: quoted-printable Reply-To: Conor McBride Subject: Microsoft PhD Scholarship at Strathclyde Mime-Version: 1.0 (Apple Message framework v930.3) Date: Tue, 10 Mar 2009 16:02:05 +0000 X-Mailer: Apple Mail (2.930.3) X-CIS-MailScanner-SpamCheck: SpamAssassin score=-1.44, ALL_TRUSTED X-Scanned-By: MIMEDefang on 130.159.196.96 X-Spam: no; 0.00; haskell:01 haskell's:01 inference:01 haskell:01 compiler:01 typing:01 structures:02 indexing:02 theoretical:03 constraints:03 constraints:03 static:03 programming:03 programming:03 dependent:04 Apologies for crossposting. Please forward this message to individuals or lists who may be interested. In addition to the recently advertised PhD position at Strathclyde on "Reusability and Dependent Types", I am delighted to advertise the following PhD opportunity. {--------------------------------------------------------- -- Haskell Types with Numeric Constraints ---------------- ---------------------------------------------------------} We are grateful to Microsoft Research for their sponsorship of this project, which includes an internship, and with it the chance to make a real difference to world of principled but practical programming. The project investigates the practical and theoretical impact of extending Haskell's type system with numeric expressions (representing sizes, or ranges, or costs, for example) and constraints capturing richer safety properties than are currently managed by static typing. It has three strands: (1) to investigate type inference with numeric constraints, (2) to investigate new programming structures, patterns, and techniques which exploit numeric indexing, and (3) to study the performance benefits derivable from richer guarantees. A bright student could bring significant benefits to developers using Haskell, a language with increasing industrial traction =97 not least at Microsoft. Work on the Glasgow Haskell Compiler, at Strathclyde! {---------------------------------------------------------} The position is fully funded, covering stipend, fees (at the home/EU rate), equipment, and travel, starting in October 2009. The closing date for applications is 15th April 2009. For further details, see: http://personal.cis.strath.ac.uk/~conor/phds/ or email me (conor@cis.strath.ac.uk). I look forward to hearing from you. Yours &c Conor McBride