http://blogs.msdn.com/dsyme/archive/2007/09/19/f-ocaml-job-at-microsoft-static-driver-verifier-and-prefast-for-drivers.aspxVlad Levin from the Static Driver Verifier team at Microsoft has posted a job announcement for a software verification engneer using F#/OCaml . Here are some excerpts: Are you interested in working on cutting edge program analysis tools to find bugs inen-GBCommunityServer 2.1 SP1 (Build: 61025.2)http://blogs.msdn.com/dsyme/archive/2007/09/19/f-ocaml-job-at-microsoft-static-driver-verifier-and-prefast-for-drivers.aspx#5399693Thu, 11 Oct 2007 12:24:16 GMT91d46819-8472-40ad-a661-2c78acb4018c:5399693MSDN Blog Postings » Introducing F# Asynchronous Workflows<p>PingBack from <a rel="nofollow" target="_new" href="http://msdnrss.thecoderblogs.com/2007/10/11/introducing-f-asynchronous-workflows/">http://msdnrss.thecoderblogs.com/2007/10/11/introducing-f-asynchronous-workflows/</a></p>