From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id A5A47BC88 for ; Thu, 10 Feb 2005 22:48:52 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1ALmq03007753 for ; Thu, 10 Feb 2005 22:48:52 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA08825 for ; Thu, 10 Feb 2005 22:48:51 +0100 (MET) Received: from mail-eur.microsoft.com (mail-eur.microsoft.com [213.199.128.145]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1ALmp7g032604 for ; Thu, 10 Feb 2005 22:48:51 +0100 Received: from EUR-MSG-03.europe.corp.microsoft.com ([65.53.192.44]) by mail-eur.microsoft.com with Microsoft SMTPSVC(6.0.3790.211); Thu, 10 Feb 2005 21:48:51 +0000 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C50FBA.545D4218" Subject: Contract position in compiler development available, MSR Cambridge Date: Thu, 10 Feb 2005 21:47:34 -0000 Message-ID: <5DCA48FADB33FF4D8C32A164DF24F2B0026D9633@EUR-MSG-03.europe.corp.microsoft.com> Thread-Topic: Contract position in compiler development available, MSR Cambridge thread-index: AcUPuiEgi8yFvLLkRymxJRke4muULg== From: "Don Syme" To: "Caml mailing list" Cc: "Alex Reed" X-OriginalArrivalTime: 10 Feb 2005 21:48:51.0669 (UTC) FILETIME=[4F2E3850:01C50FBA] X-Miltered: at nez-perce with ID 420BD6C4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 420BD6C3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; compiler:01 syme:01 dsyme:01 ocaml-list:01 compiler:01 subset:01 ocaml:01 fsharp:01 ocaml:01 haskell:01 compilers:01 runtime:01 ml-like:01 symbolic:01 ocaml-list:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.0.2 X-Spam-Level: This is a multi-part message in MIME format. ------_=_NextPart_001_01C50FBA.545D4218 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable =20 Dear OCaml-list, =20 This is a job opportunity for an ML programmer, and may be of particular interest to those who love compiler development for functional languages. =20 Thanks Don =20 =20 Contract position in compiler development Microsoft Research , Cambridge, UK =20 MSR Cambridge has available a 6 month contract position in applied language design, optimization and compiler development optimization for work on the F# project. F# is a variant of the ML functional programming language with core subset essentially compatible with the core of the OCaml language, along with a compiler and tools for the .NET platform and Visual Studio. It is specifically designed to facilitate cooperation between ML code and other .NET languages such as C# and can be downloaded from http://research.microsoft.com/downloads. F# is also being used by several projects within Microsoft and Microsoft Research. More information on F# can be found at http://research.microsoft.com/projects/fsharp.=20 =20 We are looking for candidates with some or all of the following qualifications: * MS. or Ph.D. in Computer Science=20 * Strong applied ML or functional programming skills, in Standard ML, OCaml, F# or Haskell. Some experience with C++ is also required.=20 * Knowledge of algorithms and techniques from compilers, including experience with the design and implementation of inference-based type systems=20 * Good communication and inter-personal skills=20 * Leadership and cross-team collaboration skills, including a desire to work with Microsoft product teams and external partners in training them in the use of the language and tools.=20 * 2 years of industrial experience, including the ability to self-manage through the progressive release of stable versions of a product=20 * A strong desire to ensure that mixed functional/imperative programming is a viable reality on the .NET platform=20 * Excitement at the potential that the libraries and tools of the .NET Framework and Visual Studio offer to niche programming languages=20 =20 This position will be tailored according to the skills of the candidate, but will include key activities such as the following: =20 * Maintaining the language and runtime infrastructure=20 o Fixing bugs in the F# code base o Implementing new features in F#, including the Visual Studio tools for F# o Responding to customer feature requests o Improving the performance of programs compiled with F# * Technology transfer from Microsoft Research o Working with key F# customers within Microsoft Research and the product divisions =20 The candidate must be willing to work in Cambridge and travel as needed to the Seattle area and elsewhere.=20 =20 Applications should be sent to Alex Reed (alreed@microsoft.com) =20 F# is a contribution by Microsoft Research to ensure that a strong ML-like symbolic programming language is available in the context of .NET. Our group has a strong track record of positively influencing the design and implementation of Microsoft's programming languages and platforms. As such this position offers the candidate the chance to make a major contribution to how future developers write programs and to the quality of the software that we all use, both directly through ML as a language and indirectly through the research agenda of the academic community from which it stems. =20 =20 ------_=_NextPart_001_01C50FBA.545D4218 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

 

Dear OCaml-list,

 

This is a job opportunity for an ML programmer, and = may be of particular interest to those who love compiler development for = functional languages.

 

Thanks

Don

 

 

Contract position in compiler development

Microsoft Research, = Cambridge, UK

 

MSR Cambridge has available a 6 month contract = position in applied language design, optimization and compiler development = optimization for work on the F# project.  F# is a variant of the ML functional = programming language with core subset essentially compatible with the core of the = OCaml language, along with a compiler and tools for the .NET platform and = Visual Studio.  It is specifically designed to facilitate cooperation = between ML code and other .NET languages such as C# and can be downloaded from http://research.microsof= t.com/downloads. F# is also being used by several projects within Microsoft and Microsoft Research.  More information on F# can be found at http://research.m= icrosoft.com/projects/fsharp.

 

We are looking for candidates with some or all of the following qualifications:

  • MS. or Ph.D. in Computer Science =
  • Strong applied ML or functional programming = skills, in Standard ML, OCaml, F# or Haskell.  Some experience with C++ = is also required.
  • Knowledge of algorithms and techniques from = compilers, including experience with the design and implementation of = inference-based type systems
  • Good communication and inter-personal = skills
  • Leadership and cross-team collaboration skills, including a desire to work with Microsoft product teams and = external partners in training them in the use of the language and = tools.
  • 2 years of industrial experience, including the = ability to self-manage through the progressive release of stable versions = of a product
  • A strong desire to ensure that mixed functional/imperative programming is a viable reality on the .NET = platform
  • Excitement at the potential that the libraries = and tools of the .NET Framework and Visual Studio offer to niche = programming languages

 

This position will be tailored according to the = skills of the candidate, but will include key activities such as the = following: 

·        = ; Maintaining the language and runtime infrastructure =

o        Fixing bugs in the F# code base

o        Implementing new features in F#, including the Visual Studio = tools for F#

o        Responding to customer feature requests

o        Improving the performance of programs compiled with = F#

·        = ; Technology transfer from Microsoft Research

o        Working with key F# customers within Microsoft Research and the = product divisions

 

The candidate must be willing to work in Cambridge = and travel as needed to the Seattle area and elsewhere.

 

Applications should be sent to Alex Reed  (alreed@microsoft.com)

 

F# is a contribution by Microsoft Research to ensure = that a strong ML-like symbolic programming language is available in the context = of .NET.  Our group has a strong track record of positively influencing the = design and implementation of Microsoft’s programming languages and = platforms.  As such this position offers the candidate the chance to make a major contribution to how future developers write programs and to the quality = of the software that we all use, both directly through ML as a language and = indirectly through the research agenda of the academic community from which it = stems.

 

 

------_=_NextPart_001_01C50FBA.545D4218--