[prev in list] [next in list] [prev in thread] [next in thread] 

List:       ms-dotnet-language-devs
Subject:    Contract position in compiler development, Microsoft Research, Cambridge, UK
From:       Don Syme <dsyme () MICROSOFT ! COM>
Date:       2005-02-10 21:57:36
Message-ID: 5DCA48FADB33FF4D8C32A164DF24F2B0026D963A () EUR-MSG-03 ! europe ! corp ! microsoft ! com
[Download RAW message or body]

Dear all,

We have a contract position available to work with myself and others on
the F# compiler and tools.  We welcome your applications!

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, 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. 

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:  

o Maintaining the language and runtime infrastructure 

  - Fixing bugs in the F# code base

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

  - Responding to customer feature requests

  - Improving the performance of programs compiled with F#

o Technology transfer from Microsoft Research

  - 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.

[prev in list] [next in list] [prev in thread] [next in thread]