Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Tool
AutoVerus
Automatically synthesize proof annotations that help Verus prove the correctness of Rust code.
Microsoft Research Blog
Research Focus: Week of September 23, 2024
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Time-series forecasting is a technique used to predict…
Career Opportunity
Research Intern for Systems Research Group
Number of Openings: 2-4 Location: Beijing/Shanghai Group Introduction: The Systems Research Group (SRG) at Microsoft Research Asia is dedicated to conducting foundational and applied research in the field of computer systems. The SRG team focuses…
Career Opportunity
Research Intern for System Group (Shanghai)
Number of Openings: 2-4 Location: Shanghai Group Introduction: The System Group (Shanghai) at Microsoft Research Asia is dedicated to developing efficient and effective systems for large foundational models such as LLMs and LMMs, as well…
Career Opportunity
Research Intern for System Intelligence Group
Number of Openings: 2-4 Location: Beijing/Shanghai Group Introduction: The System Intelligence Group at Microsoft Research Asia is dedicated to the research and development of large language models (LLMs), and driving the innovation of AI technologies.…