Software Development Engineer in Test: Position on the F# Team

The F# team is hiring! This position is for a QA engineer on the F# team. From the Microsoft website: We are looking for an experienced Software Design Engineer in Test to work on testing the F# language and compiler. Opportunities include working with some of the brightest minds in the community on the latest…


Software Development Engineer Position on the F# Team

The F# team are hiring! We have two positions open right now. The first is a software development engineer specializing in Visual Studio.  We’re looking for an exceptional developer to work on integration with the Visual Studio editor and debugger, and with Technical Computing libraries. You will be a key designer/engineer on our team, responsible…


Expert F# Available by end of November!

At last! We’ve finally sent off the very last proofs of Expert F# to Apress – this time the index, TOC etc. Adam, Antonio and myself are grateful to have Erik Meijer writing the foreword for us, and Apress are dealing with the small metter of putting everything on paper and getting it shipped to…


S. Somasegar on taking F# forward

Today is an exciting day for the F# team. The Corporate VP for the Microsoft Developer Division, S. Somasegar, has announced the formation of a team to take F# forward. This will be a partnership with the current F# team at Microsoft Research. This is a huge step for us and we believe a great step forward…


Robert on "Understanding how Asynchronous Workflows Work"

Robert Pickering has just posted a nice blog entry showing how programs look if you don’t have asynchronous workflows. As Don Syme points out in his piece on asynchronous workflows, they are not about getting the whole of concurrency right but rather about getting asynchronous I/O right.  I think that to fully appreciate the beauty…


Position Available: Research Software Developer at MSR Cambridge

SLAyer is a software analysis tool that automatically proves properties about the data-structures constructed/modified by concurrent systems-level code.  Terminator is an additional componenet designed to prove termination and liveness properties.  The joint SLAyer/Terminator team is looking for a developer interested in building the first production version of these tools. This position is in Microsoft’s Research…


Introducing F# Asynchronous Workflows

[ Update: Robert pickering has a very nice summary of using asynchonous workflows with web services ] F# includes a pre-release of F# asynchronous workflows. In this blog post we’ll take a look at asynchronous workflows and how you might use them in practice. Asynchronous workflows are an application of F#’s computation expression syntax….