From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3JHInNC011266 for ; Tue, 19 Apr 2011 19:18:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiEEAHTDrU3U4xEIkWdsb2JhbACXYo1KFAEBAQEJCwsHFAMixGaFcQQ X-IronPort-AV: E=Sophos;i="4.64,240,1301868000"; d="scan'208";a="81373613" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Apr 2011 19:18:44 +0200 Received: from Mouche.lan (93-97-142-135.zone5.bethere.co.uk [93.97.142.135]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0MJmWC-1QB8dz2xbo-001rbm; Tue, 19 Apr 2011 19:18:44 +0200 Message-Id: From: Conor McBride To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v936) Date: Tue, 19 Apr 2011 18:18:43 +0100 X-Mailer: Apple Mail (2.936) X-Provags-ID: V02:K0:nAbs9VvxMUJfoLfqeI9iS6+f77x8D3NfrJgwSOBULpx M/y8REYVGWxBDGDgjPxI+86m92R5On3BTbF12026jioDxZrrdM MLS32aGpuQ+ReWI+HGuXbXd5Xfi/EDKjgRn9dFU/89YXzt0Rkt qx0p7YATd7kjr/q8jZ5bbP0Ky6Y55PGjRcfD7zT7OtaNIPuLwM wALa1R0Hu1tLb0avz1YGYRvaUodRg1lqLI3DPPzcLk= Subject: [Caml-list] Another(!) PhD Position at Strathclyde Hot on the heels of Patricia Johann's advertisement, here's another PhD Position in the Mathematically Structured Programming Group, Deparment of Computer and Information Sciences at the University of Strathclyde to be supervised by Dr. Conor McBride and Prof. Neil Ghani on something related to Designing Precision with Dependent Types. We invite applications for one PhD position within the Mathematically Structured Programming group at the University of Strathclyde. The group comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr. Peter Hancock, Dr. Robert Atkey, and five PhD students. The PhD project involves THEORETICAL and PRACTICAL issues in FUNCTIONAL PROGRAMMING with DEPENDENT TYPES. Dependent type systems allow us to construct precise variations on general-purpose datatypes which address the specific needs of particular programming problems, thus opening a new "precision" axis in the design space of programs and data. We seek equipment to help programmers explore this axis, determining what is needed to shift the level of precision at which existing functions operate and which properties are guaranteed in return. The project thus represents an opportunity to study mathematical abstractions with a concrete engineering motivation. The PhD position is for 3 years, starting in October 2011. The position is a fully-funded post for a UK or EU student, and includes coverage both of fees and an EPSRC-level stipend for each of the three years. More information about the department is available at http://www.strath.ac.uk/cis The University of Strathclyde (http://www.strath.ac.uk) is slap bang in the middle of Glasgow, a thronging metropolis of wit and daring. Scotland is a hive of activity in Computer Science: we have active collaborations with researchers at Edinburgh, Heriot-Watt, Glasgow and St. Andrews. This is the time and the place to make an impact. Requests for further information and other informal enquiries can be sent to: Conor McBride conor at cis.strath.ac.uk Please get in touch as soon as you can. We hope to appoint in early May.