it seems like we are coverd by MaryJo Foley
but I was just copy&pasting for that post, now I have something to add myself, thanks to MaryJo herself, she linked an article about Midori from 2009
and I noticed that, some Midori group members she mentions, describe their group as "Technical Strategy Incubation", so I just typed this into http://careers.microsoft.com/, and got these:
The Technical Strategy Incubation team is looking for highly motivated engineers to work on the design and development of a new programming language and associated tools. Our language is focused on enabling safe concurrency, automatic parallelism, and increased correctness and development time thanks to static verification.
Our effort is a part of a larger operating systems effort, which embraces these principles systemically and at a broad scale.
As a developer on the team you will be responsible for the design and implementation of new language features in the compiler, IDE, and related tools. Our features are largely need-driven and prioritized to those that deliver the most value to the overall team. Being an incubation team, all features are potential technology transfers to product teams and/or frequently open up new research opportunities.
here they mentioned 'static verification', and I noticed MaryJo list someone related to the Solver Foundation as part of the Midori team, I guess Z3 may has something to do with this too.
The Technical Strategy Incubation team is looking for a senior software architect to lead development of our safe concurrent programming model.
This programming model is a core component of a system, 99% of which is written in type- and memory-safe C#. A core principle we add to managed code is that 1st class, statically enforced concurrency-safety must become a peer of type- and memory-safety. This role demands innovation at each layer of the software stack: programming model abstractions, scheduling (kernel and user-mode/runtime), message passing and asynchrony more generally, shared-memory, data and task parallelism, distributed parallelism, heterogeneity (including vectorization and GPGPU), interaction with processor architecture, feedback directed optimizations, and even language design and compiler implementation.
The Technical Strategy Incubation team is seeking a high achieving SDE to help build a next generation UI/Graphics platform. This incubation team is chartered with pursuing strategic opportunities which are difficult to address incrementally with existing systems, such as UI responsiveness and security, rich applications that span devices, new web-centric programming models, and effective use of GPUs and many core.