From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A80BC7F89E for ; Mon, 31 Mar 2014 12:13:33 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of m.gaboardi@dundee.ac.uk) identity=pra; client-ip=213.199.154.77; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.gaboardi@dundee.ac.uk"; x-sender="m.gaboardi@dundee.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of m.gaboardi@dundee.ac.uk designates 213.199.154.77 as permitted sender) identity=mailfrom; client-ip=213.199.154.77; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.gaboardi@dundee.ac.uk"; x-sender="m.gaboardi@dundee.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@emea01-db3-obe.outbound.protection.outlook.com designates 213.199.154.77 as permitted sender) identity=helo; client-ip=213.199.154.77; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.gaboardi@dundee.ac.uk"; x-sender="postmaster@emea01-db3-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqABAH8+OVPVx5pNlGdsb2JhbABZg0HDboExDgEBAQEHCwsJEiqCLBJZAgwSAQZ6JwQOBSKHWwmRco9CgRgCikUBAZxYhjAXjn+DK4EUBJhOlCaBPz0 X-IPAS-Result: AqABAH8+OVPVx5pNlGdsb2JhbABZg0HDboExDgEBAQEHCwsJEiqCLBJZAgwSAQZ6JwQOBSKHWwmRco9CgRgCikUBAZxYhjAXjn+DK4EUBJhOlCaBPz0 X-IronPort-AV: E=Sophos;i="4.97,764,1389740400"; d="scan'208";a="65545005" Received: from mail-db3lp0077.outbound.protection.outlook.com (HELO emea01-db3-obe.outbound.protection.outlook.com) ([213.199.154.77]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 31 Mar 2014 12:13:32 +0200 Received: from AMXPR04MB136.eurprd04.prod.outlook.com (10.242.71.153) by AMXPR04MB133.eurprd04.prod.outlook.com (10.242.71.144) with Microsoft SMTP Server (TLS) id 15.0.908.10; Mon, 31 Mar 2014 10:13:30 +0000 Received: from AMXPR04MB136.eurprd04.prod.outlook.com ([169.254.12.24]) by AMXPR04MB136.eurprd04.prod.outlook.com ([169.254.12.5]) with mapi id 15.00.0898.005; Mon, 31 Mar 2014 10:13:30 +0000 From: Marco Gaboardi To: "caml-list@inria.fr" CC: Marco Gaboardi Thread-Topic: One PhD position for EU students available at the University of Dundee, Scotland. Thread-Index: AQHPTMnc6XgmavAFH0ySsO8Baadajg== Date: Mon, 31 Mar 2014 10:13:29 +0000 Message-ID: <9A8B794A-3C6F-4970-9D03-0325270ACB35@dundee.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-forefront-prvs: 0167DB5752 x-forefront-antispam-report: SFV:NSPM;SFS:(10009001)(6009001)(428001)(199002)(189002)(82746002)(33656001)(15975445006)(81542001)(77982001)(59766001)(46102001)(81686001)(20776003)(65816001)(80022001)(76482001)(83322001)(63696002)(81816001)(98676001)(54316002)(16601075003)(36756003)(81342001)(76786001)(77096001)(74366001)(76176001)(19580395003)(74876001)(74706001)(19580405001)(79102001)(56776001)(95416001)(54356001)(92726001)(4396001)(93136001)(95666003)(85852003)(83072002)(87936001)(92566001)(56816005)(15202345003)(94946001)(47976001)(97336001)(80976001)(49866001)(74502001)(74482001)(47446002)(90146001)(83716003)(53806001)(97186001)(93516002)(51856001)(86362001)(47736001)(85306002)(94316002)(87266001)(74662001)(50986001)(69226001)(31966008)(2656002);DIR:OUT;SFP:1101;SCL:1;SRVR:AMXPR04MB133;H:AMXPR04MB136.eurprd04.prod.outlook.com;FPR:9EF9F9DC.9FE29312.E1C7978F.4CA8D271.2035F;MLV:sfv;PTR:InfoNoRecords;A:1;MX:1;LANG:en; Content-Type: text/plain; charset="Windows-1252" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: dundee.ac.uk Subject: [Caml-list] One PhD position for EU students available at the University of Dundee, Scotland. One PhD position for EU students available at the University of Dundee, Sco= tland. Contact =97=97=97=97=97=97=97=97=97=97=97 Marco Gaboardi - m.gaboardi@dundee.ac.uk Profile =97=97=97=97=97=97=97=97=97=97=97 The subject of the studentship is programming language semantics and implem= entation. The specific topic for the studentship will depend on the interes= ts and expertise of the potential candidate. Possible topics are: language-= based privacy and security, type systems, probabilistic programming, intera= ctive theorem proving, logics and applications, program analysis tools. Conditions =97=97=97=97=97=97=97=97=97=97=97 The studentship covers 3 years with a standard stipend of about =A313-14k a= year plus some eligible travel and consumables. Requirements =97=97=97=97=97=97=97=97=97=97=97 The position is only for EU students. The ideal candidate must show a solid= mathematical background and interest in theoretical and/or practical works. Previous experience in one or more of the areas described in the profile wi= ll be considered a plus. How to apply =97=97=97=97=97=97=97=97=97=97=97 The position is available immediately. Candidates must contact Marco Gaboar= di - m.gaboardi@dundee.ac.uk Dundee and the university =97=97=97=97=97=97=97=97=97=97=97 Dundee is the fourth-largest city in Scotland and it is well connected with= Edinburgh, Glasgow and Aberdeen. Dundee is promoted as 'One City, Many Dis= coveries' in honor of Dundee's history of scientific activities and of the = RRS Discovery exploration vessel, which is berthed in the city harbor. Biom= edical, technological and video game industries have been important for the= development of the city in the last 20 years. The University of Dundee counts about 18.000 students and is situated in th= e city center. The university is ranked in the World's Top 250 Universities= and has been voted one of the best universities in the UK for student expe= rience. http://en.wikipedia.org/wiki/Dundee http://www.dundee.ac.uk The Theory of Computation group =97=97=97=97=97=97=97=97=97=97=97 The Theory of Computation group focuses on research into different areas co= vering functional programming, program analysis, computational logic, machi= ne learning, constraint programming, graph theory, algorithms and applicati= ons like privacy, security, complexity, optimisation, and artificial intell= igence. The University of Dundee is a registered Scottish Charity, No: SC015096