Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Principal Forward Deployed Engineer – Data Scientist
As a Principal Data Scientist, you will be a customer embedded engineer to serve as the primary technical leader aligned to a strategic account, driving business outcomes through hands on execution and multidisciplinary expertise. In…
Agentic Innovation
Bridging Applied Research with Real-World Systems & Scenarios to define the future of Enterprise Productivity The M365 Research Agentic Innovation team bridges applied research with real-world systems and scenarios to define the future of enterprise…
Verifying Rust cryptography in SymCrypt, from standards to code
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.
Flint: A visualization language for the AI era
Short chart specifications are easy to write, but often produce uninspiring results. Flint is an open-source visualization language that offers a middle path, letting AI agents create expressive charts from compact, human-editable specifications.
