From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0ECdTnY024569 for ; Sat, 14 Jan 2012 13:39:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An8BAAZ3EU/YILW6kWdsb2JhbAAsF4JNolcBiDIBAQEBCQkNBxIngXQBBBEBGyYaHgEqViYBBBsBGYdgk1IBgyKCNQJyAQEim3OLNGMEgluYEYxm X-IronPort-AV: E=Sophos;i="4.71,509,1320620400"; d="scan'208,217";a="126928727" Received: from ch1ehsobe006.messaging.microsoft.com (HELO ch1outboundpool.messaging.microsoft.com) ([216.32.181.186]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 14 Jan 2012 13:39:33 +0100 Received: from mail169-ch1-R.bigfish.com (10.43.68.253) by CH1EHSOBE012.bigfish.com (10.43.70.62) with Microsoft SMTP Server id 14.1.225.23; Sat, 14 Jan 2012 12:39:30 +0000 Received: from mail169-ch1 (localhost [127.0.0.1]) by mail169-ch1-R.bigfish.com (Postfix) with ESMTP id 8A7AE180309 for ; Sat, 14 Jan 2012 12:39:30 +0000 (UTC) X-SpamScore: -8 X-BigFish: VS-8(zzc85fh1454I1a09Jzz1202hzz8275bh8275dh186Mz2fhc1ahc1bhc1ahc1bh2a8h668h839h) X-Forefront-Antispam-Report: CIP:131.107.125.8;KIP:(null);UIP:(null);IPV:NLI;H:TK5EX14HUBC107.redmond.corp.microsoft.com;RD:none;EFVD:NLI Received-SPF: pass (mail169-ch1: domain of microsoft.com designates 131.107.125.8 as permitted sender) client-ip=131.107.125.8; envelope-from=Don.Syme@microsoft.com; helo=TK5EX14HUBC107.redmond.corp.microsoft.com ;icrosoft.com ; Received: from mail169-ch1 (localhost.localdomain [127.0.0.1]) by mail169-ch1 (MessageSwitch) id 1326544768225512_28697; Sat, 14 Jan 2012 12:39:28 +0000 (UTC) Received: from CH1EHSMHS003.bigfish.com (snatpool1.int.messaging.microsoft.com [10.43.68.244]) by mail169-ch1.bigfish.com (Postfix) with ESMTP id 2349932003F for ; Sat, 14 Jan 2012 12:39:28 +0000 (UTC) Received: from TK5EX14HUBC107.redmond.corp.microsoft.com (131.107.125.8) by CH1EHSMHS003.bigfish.com (10.43.70.3) with Microsoft SMTP Server (TLS) id 14.1.225.23; Sat, 14 Jan 2012 12:39:27 +0000 Received: from DB3EX14HUBC305.europe.corp.microsoft.com (10.166.18.185) by TK5EX14HUBC107.redmond.corp.microsoft.com (157.54.80.67) with Microsoft SMTP Server (TLS) id 14.2.247.5; Sat, 14 Jan 2012 04:39:28 -0800 Received: from DB3EX14MBXC307.europe.corp.microsoft.com ([169.254.7.182]) by DB3EX14HUBC305.europe.corp.microsoft.com ([10.166.18.185]) with mapi id 14.02.0247.005; Sat, 14 Jan 2012 12:39:24 +0000 From: Don Syme To: "caml-list@inria.fr" Thread-Topic: Hello & F# Applied Research Jobs at MSR Cambridge Thread-Index: AczSuETycCQkNcN5RS68Pyg6Pf63Og== Date: Sat, 14 Jan 2012 12:39:25 +0000 Message-ID: <9EA847F43077364BA81551EA69DDCB0540010583@DB3EX14MBXC307.europe.corp.microsoft.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.166.18.105] Content-Type: multipart/alternative; boundary="_000_9EA847F43077364BA81551EA69DDCB0540010583DB3EX14MBXC307e_" MIME-Version: 1.0 X-OriginatorOrg: microsoft.com X-Validation-by: don.syme@microsoft.com Subject: [Caml-list] Hello & F# Applied Research Jobs at MSR Cambridge --_000_9EA847F43077364BA81551EA69DDCB0540010583DB3EX14MBXC307e_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Dear all OCamler's First, a friendly hello from the F# group at Microsoft. We have positions open at Microsoft Research in Cambridge, UK, which may be= of interest for those following ML-related languages. We would welcome app= lications from people with a background in OCaml and applied research topic= s. Please pass this on to anyone else who you think may be interested http://blogs.msdn.com/b/dsyme/archive/2012/01/14/come-and-w= ork-with-the-f-group-at-microsoft-research-in-cambridge.aspx Many thanks and best wishes Don Syme Come and work with the F# group at Microsoft Research in Cambridge! Microsoft Research in Cambridge has open positions for very high quality ap= plicants with advanced computer science skills (normally recent PhD-level g= raduates or highly relevant industry experience), and internships for current PhD candi= dates or other talented masters students. I would like to encourage potential candidates interested in any topic rela= ted to * F# itself, as a language and tool set * Topics on the boundary of F# and its applications (for example, GPGPU= programming with F#, variations on Hadoop programming with F# or other par= allel/advanced programming) * Variations on "Information rich programming" with F# and massively rich information so= urces, including other variations on meta-programming and compiler extensib= ility A particular growing interest area for pulling advanced F# experimental wor= k together is in the field of web-delivered, data-rich cloud programming. T= hink of taking some of the world's greatest applied programming language wo= rk, delivering it to high quality in educative web-delivered learning envir= onments, combine it with innovative techniques f= or strong typing and information-rich programming, combine with the wealth of rich = information sources that make the modern web, integrate with modern backend= execution environments, strategies= , machine-learning= tools= and products, both homogeneous and heterogeneous, and deliver it into the hands of real users. Often postdoc and intern positions at MSR have a 100% theory/research/publi= cation focus. However, in this case we are explicitly interested in candida= tes who would like to pursue a combined practice & research agenda, looking= for a virtuous feedback cycle between the two. In this situation, the joy = of making things, playing with real software and delivering it to thousands= users is valued as much as writing a paper. Candidates might also see this= position as a transition step to a research position, a startup, a lead pr= oduct development role, or to an academic role where hands-on practice is h= ighly valued. If you are completing your PhD, or have recently completed, and would like = to consider working in this kind of field at MSR Cambridge, then please fee= l free to apply directly to me (dsyme AT microsoft.com), or apply directly = for a postdoc position or an internship. --_000_9EA847F43077364BA81551EA69DDCB0540010583DB3EX14MBXC307e_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Dear all OCamler's

 

First, a friendly hel= lo from the F# group at Microsoft.

 

We have positions ope= n at Microsoft Research in Cambridge, UK, which may be of interest for thos= e following ML-related languages. We would welcome applications from people= with a background in OCaml and applied research topics. Please pass this on to anyone else who you think may be i= nterested

 

   &nb= sp;            http://blogs.msdn.com/b/dsyme/archive/2012/01/14/come-and-work-with-the-f-g= roup-at-microsoft-research-in-cambridge.aspx

 

Many thanks and best = wishes

Don Syme

 

 

Come and work with the F# group at Microsoft Research in Cambri= dge!

Microsoft Research in Cambridge has open positions for very hig= h quality applicants with advanced computer science skills (normally recent= PhD-level graduates or highly relevant industry experience), and internships for current PhD candidates or other talented masters st= udents.

I would like to encourage potential candidates interested in an= y topic related to

  • F# itself, as a language and tool set
  • Topics on the boundary of F# and its applications (for example, GP= GPU programming with F#, variations on Hadoop programming with F# or other = parallel/advanced programming)
  • Variations on "Information rich programming" with F# and m= assively rich information sources, including other variations on meta-progr= amming and compiler extensibility

A particular growing interest area for pulling advanced F# expe= rimental work together is in the field of web-delivered, data-rich cloud programming. Think of taking some of the world's= greatest applied programming language work, delivering it to high quality = in educative web-delivered learning envi= ronments, combine it with innovative techniques for strong typing and information-rich programming, combine with the wea= lth of rich information sources that make the modern web, integrate with mo= dern backend execution environments, strategies, machine-learning tools and products, both homogeneous and heterogeneous, and deliver it into the hands of real users.<= /span>

Often postdoc and intern positions at MSR have a 100% theory/re= search/publication focus. However, in this case we are explicitly intereste= d in candidates who would like to pursue a combined practice & research agenda, looking for a virtuous feedback cycle between the t= wo. In this situation, the joy of making things, playing with real software= and delivering it to thousands users is valued as much as writing a paper.= Candidates might also see this position as a transition step to a research position, a startup, a lead product dev= elopment role, or to an academic role where hands-on practice is highly val= ued.

If you are completing your PhD, or have recently completed, and= would like to consider working in this kind of field at MSR Cambridge, the= n please feel free to apply directly to me (dsyme AT microsoft.com), or apply directly for a postdoc position or an i= nternship.

 

 

 

--_000_9EA847F43077364BA81551EA69DDCB0540010583DB3EX14MBXC307e_--