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 0A2347EE6B for ; Mon, 2 Dec 2013 14:24:16 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Richard.Mortier@nottingham.ac.uk) identity=pra; client-ip=151.236.209.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Richard.Mortier@nottingham.ac.uk"; x-sender="Richard.Mortier@nottingham.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Richard.Mortier@nottingham.ac.uk) identity=mailfrom; client-ip=151.236.209.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Richard.Mortier@nottingham.ac.uk"; x-sender="Richard.Mortier@nottingham.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@engine01-20433-7.icritical.com) identity=helo; client-ip=151.236.209.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Richard.Mortier@nottingham.ac.uk"; x-sender="postmaster@engine01-20433-7.icritical.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApIDAIyInFKX7NEhbmdsb2JhbABZFoMpuTMhgRkODQcECggUKIIsOhkmEgE+YQcBBA4FiAEEBLA8iFSGdI4mEQFQgyeBEwOFD5Q1gmSCWIVxAYhecQF/ X-IPAS-Result: ApIDAIyInFKX7NEhbmdsb2JhbABZFoMpuTMhgRkODQcECggUKIIsOhkmEgE+YQcBBA4FiAEEBLA8iFSGdI4mEQFQgyeBEwOFD5Q1gmSCWIVxAYhecQF/ X-IronPort-AV: E=Sophos;i="4.93,811,1378850400"; d="scan'208";a="38919843" Received: from engine01-20433-7.icritical.com ([151.236.209.33]) by mail3-smtp-sop.national.inria.fr with SMTP; 02 Dec 2013 14:24:15 +0100 Received: (qmail 7584 invoked from network); 2 Dec 2013 13:22:40 -0000 Received: from localhost (127.0.0.1) by engine01-20433-7.icritical.com with SMTP; 2 Dec 2013 13:22:40 -0000 Received: from engine01-20433-7.icritical.com ([127.0.0.1]) by localhost (engine01-20433-7.icritical.com [127.0.0.1]) (amavisd-new, port 10024) with SMTP id 06504-09 for ; Mon, 2 Dec 2013 13:22:38 +0000 (GMT) Received: (qmail 6816 invoked by uid 599); 2 Dec 2013 13:21:34 -0000 Received: from unknown (HELO smtp3.nottingham.ac.uk) (128.243.44.55) by engine01-20433-7.icritical.com (qpsmtpd/0.28) with ESMTP; Mon, 02 Dec 2013 13:21:34 +0000 Received: from uiwexhub02.ad.nottingham.ac.uk ([128.243.15.132]) by smtp3.nottingham.ac.uk with esmtps (TLSv1:AES128-SHA:128) (Exim 4.77) (envelope-from ) id 1VnTRf-0000R1-3c; Mon, 02 Dec 2013 13:21:51 +0000 From: Richard Mortier To: OCaml mailing-list CC: "caml-jobs@inria.fr" Date: Mon, 2 Dec 2013 13:21:50 +0000 Thread-Topic: phd and research fellow posts available Thread-Index: Ac7vYXWlM/YutDH0R8m/gvuFsLs4+w== Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Virus-Scanned: by iCritical at engine01-20433-7.icritical.com X-Validation-by: richard.mortier@nottingham.ac.uk Subject: [Caml-list] phd and research fellow posts available hi all; we have some posts available that i thought might be of interest to readers= of this list; apologies if this counts as spam. 1/ the school of computer science in nottingham is currently advertising 10= fully-funded phd studentships. we welcome applications from all areas of c= omputer science but particularly those related to networked systems and the= application of functional languages to practical problems. see for related work. if you're interested, please get in touch b= efore submitting your application. the deadline is jan10. details at . 2/ my group in the school currently has research fellow posts available on = research projects using mirage/ocaml to build network systems at scales ran= ging from the datacenter to the home, dealing with problems ranging from ha= ndling personal data to exercising custom in-network hardware. two of these= posts are already advertised at with a deadline of= dec11. if you're interested in applying, again, please do get in touch. cheers, --=20 Richard Mortier Horizon Transitional Fellow in Computer Science richard.mortier@nottingham.ac.uk | http://www.cs.nott.ac.uk/~rmm This message and any attachment are intended solely for the addressee and m= ay contain confidential information. If you have received this message in e= rror, please send it back to me, and immediately delete it. Please do not= use, copy or disclose the information contained in this message or in any = attachment. Any views or opinions expressed by the author of this email do= not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system,= you are advised to perform your own checks. Email communications with the = University of Nottingham may be monitored as permitted by UK legislation.