Programming languages and software engineering
Group
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…
Career Opportunity
Principal Forward Deployed Engineer – Data Science
As a Principal Forward Deployed Engineer – Data Science, 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…
Career Opportunity
Senior Research Software Development Engineer, MSR AI for Science
AI for Science is a new global team in Microsoft Research focusing on the opportunity to transform scientific modelling and discovery through large-scale deep learning. We are seeking a highly motivated and experienced Senior RSDE…
Microsoft Research Blog
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.
Microsoft Research Blog
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.
Career Opportunity
Senior Systems Research Engineer – Research Engineering – MSR Cambridge
We are seeking a Systems Research Engineer to accelerate our Future AI Infrastructure research area. You will bring key skills and experience in operating systems, performance, distributed systems, CPUs, GPUs, and machine learning. Good systems…