Systems & networking
Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.
Dataset Source Code
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.…
Career Opportunity
Research Intern for Intelligent Cloud and Edge Group
Number of Openings: 2-4 Location: Beijing/Shanghai Group Introduction: The Intelligent Cloud and Edge team at Microsoft Research Asia is dedicated to investigating critical system issues within AI-oriented cloud infrastructure. The group’s current research areas cover…
Career Opportunity
网络与基础设施组实时视频通讯系统优化实习生
招聘人数：1 工作地点：北京 组别简介： 微软亚洲研究院网络与基础设施组（Networking Infrastructure Group）致力于计算机网络各个方面的基础研究。小组成员的研究涵盖云计算，数据中心网络，硬件网络系统和机器学习网络系统。我们希望可以通过理论分析和工程经验结合的方法来不断改进和优化网络系统。 工作职责： – 对实时视频通讯系…
Career Opportunity
网络与基础设施组数据中心网络加速研发实习生
招聘人数：1 工作地点：北京 组别简介： 微软亚洲研究院网络与基础设施组（Networking Infrastructure Group）致力于计算机网络各个方面的基础研究。小组成员的研究涵盖云计算，数据中心网络，硬件网络系统和机器学习网络系统。我们希望可以通过理论分析和工程经验结合的方法来不断改进和优化网络系统。 工作职责： – 参与下一代数据中…
Career Opportunity
基于SONiC开源云网络操作系统的安全机制研发实习生
招聘人数：1 工作地点：北京 组别简介： 微软亚洲研究院网络研究组（Networking Research Group）致力于计算机网络各个方面的基础研究。小组成员的研究涵盖云计算，数据中心网络，硬件网络系统和机器学习网络系统。我们希望可以通过理论分析和工程经验结合的方法来不断改进和优化网络系统。 工作职责： SONiC是微软推出的下一代开源云网络…