From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ECD217EE6B for ; Thu, 21 Nov 2013 14:52:38 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sam.Lindley@ed.ac.uk) identity=pra; client-ip=129.215.13.205; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Sam.Lindley@ed.ac.uk"; x-sender="Sam.Lindley@ed.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sam.Lindley@ed.ac.uk) identity=mailfrom; client-ip=129.215.13.205; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Sam.Lindley@ed.ac.uk"; x-sender="Sam.Lindley@ed.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nougat.ucs.ed.ac.uk) identity=helo; client-ip=129.215.13.205; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Sam.Lindley@ed.ac.uk"; x-sender="postmaster@nougat.ucs.ed.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvIBAFgPjlKB1w3NnGdsb2JhbABZgz+9UoEiFg4BAQEBAQgLCQkUKIIlAQEFOBslDQQcAwECChYIBwkDAgECATQHAggTBgIBAREEA4dlDbkkh1cXji2BRQaELAOZQoUSjnY X-IPAS-Result: AvIBAFgPjlKB1w3NnGdsb2JhbABZgz+9UoEiFg4BAQEBAQgLCQkUKIIlAQEFOBslDQQcAwECChYIBwkDAgECATQHAggTBgIBAREEA4dlDbkkh1cXji2BRQaELAOZQoUSjnY X-IronPort-AV: E=Sophos;i="4.93,744,1378850400"; d="scan'208";a="36981513" Received: from nougat.ucs.ed.ac.uk ([129.215.13.205]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Nov 2013 14:52:38 +0100 Received: from beeknow.inf.ed.ac.uk (beeknow.inf.ed.ac.uk [129.215.33.12]) by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id rALDqbV0027118 for ; Thu, 21 Nov 2013 13:52:37 GMT Received: from [129.215.91.136] (dhcp-91-136.inf.ed.ac.uk [129.215.91.136]) (authenticated bits=0) by beeknow.inf.ed.ac.uk (8.14.4/8.14.4) with ESMTP id rALDqbEb020716 (version=TLSv1/SSLv3 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NO) for ; Thu, 21 Nov 2013 13:52:37 GMT Message-ID: <528E1025.7050401@ed.ac.uk> Date: Thu, 21 Nov 2013 13:52:37 +0000 From: Sam Lindley User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: X-Forwarded-Message-Id: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus Content-Disposition: inline X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205 Subject: [Caml-list] Fwd: PhD Studentship on ABCD -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. -------- Original Message -------- Subject: PhD Studentship on ABCD Date: Wed, 20 Nov 2013 13:04:00 +0000 From: Philip Wadler Dear All, I'd be grateful if you could circulate the following. Students from the UK or EU are preferred, but studentships may be available for overseas students with strong qualifications. We especially welcome applications from women and minorities. Yours, -- P We are recruiting for one PhD student to work on design and implementation of programming languages. The post is on the project "From Data Types to Session Types: A Basis for Concurrency and Distribution". The project has particular emphasis on putting theory into practice, embedding session types in a range of programming languages and applying them to realistic case studies. The research programme is joint between the University of Edinburgh, University of Glasgow, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware, and the Ocean Observatories Initiative. We have a programme grant funded by EPSRC for five years from 20 May 2013. The successful candidate will join a team responsible for extending the functional web programming language Links with session types to support concurrency and distribution. We will test our techniques by providing a library to access Amazon Web Services (AWS) cloud computing infrastructure, and perform empirical experiments to assess how our language design impacts the performance of programmers. You should possess an undergraduate degree in a relevant area, or being nearing completion of same, or have comparable experience. You should have evidence of ability to undertake research and communicate well. You should have a background in programming languages, including type systems, and programming and software engineering skills. It is desirable for candidates to also have one or more of the following: a combination of theoretical and practical skills; experience of web programming or cloud programming; knowledge of the theory or practice of concurrent and distributed systems; knowledge of linear logic; or training in empirical measurement of programming tasks. We especially welcome applications from women and minorities. We seek applicants at an international level of excellence. The School of Informatics at Edinburgh is among the strongest in the world, and Edinburgh is known as a cultural centre providing a high quality of life. The successful candidate will receive a studentship covering tuition and subsistence. Students from the UK or EU are preferred, but studentships may be available for overseas students with strong qualifications. Applications should be received by 13 December to be eligible for the full range of scholarships. Consult the University of Edinburgh website for details of how to apply . Enquiries can be addressed to: Prof. Philip Wadler (wadler@inf.ed.ac.uk ), Principal Investigator of the ABCD project. -- .\ Philip Wadler, Professor of Theoretical Computer Science ./\ School of Informatics, University of Edinburgh / \ http://homepages.inf.ed.ac.uk/wadler/