Are you interested in working for three months at Microsoft Research, Cambridge, on a project related to F#? MSR Cambridge now takes interns year-round, not just in the summer months. We are keen to attract motivated and well-qualified folk to work with us on our research, and on improving or developing F# and its related tools and libraries.
If you or one of your students is interested, you can find some more details here. To clarify, we now accept internship applications AT ANY TIME.
Some past and ongoing projects have included:
Some possible projects include:
All projects would benefit from or require excellent F# or OCaml programming skills, a good working knowledge of .NET, strong mathematical skills and a sense of pragmatism in the application of formal techniques.
There are lots of other fantastic things going on at MSR Cambridge in both programming language research (Haskell, optimization, foundational theory, security ...), and stuff beyond that (machine learning, systems and networks...); see http://research.microsoft.com/aboutmsr/labs/cambridge
[ Nb. The above text is adopted from a post sent by Simon Peyton Jones to the Haskell list - thanks Simon! ]