Contract position in compiler development, Microsoft Research, Cambridge, UK

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      =20

MSR Cambridge has available a 6 month contract position in applied
language design, optimization and compiler development 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.=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

o Maintaining the language and runtime infrastructure=20

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

Applications should be sent to Alex Reed  ([email protected])

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.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
This list is hosted by DevelopMentor=AE  http://www.develop.com

View archives and manage your subscription(s) at http://discuss.develop.com