岗位 Applied Scientist – Cloud Operations + Innovation (CO+I) Posted: 2026年4月3日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Data platforms and analytics, Programming languages and software engineering Microsoft Cloud Operations + Innova…
岗位 Senior Researcher – Efficient AI Posted: 2026年4月3日 地点: Bangalore, Karnataka, India 研究领域: Algorithms, Artificial intelligence, Hardware and devices, Programming languages and software engineering, Systems and networking We are an applied research team foc…
论文与出版物 Generative Design and Vibe Coding: Rethinking The Design-Development Divide for UI Prototyping Xinqi Zhang, Hari Subramonyam, Advait Sarkar, Ian Drosos, Jack Wang, Kyungho Lee, Veronica Pimenova, Xiang "Anthony" Chen, Kai Lukoff ACM CHI Conference on Human Factors in Computing Systems (CHI 2026) | April 2026 项目
论文与出版物 Learning to Generate Unit Test via Adversarial Reinforcement Learning Dongjun Lee, Changho Hwang, Kimin Lee ICLR 2026 | April 2026
论文与出版物 VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus Chuyue Sun, Yican Sun, Ethan Zhang, Daneshvar Amrollahi, Shuvendu Lahiri, Shan Lu, David Dill, Clark Barrett International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | April 2026 项目
岗位 Applied Scientist Posted: 2026年3月31日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering As an Applied Scientist in MAI, you…
岗位 Member of Technical Staff, Senior Applied AI Engineer Posted: 2026年3月26日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering We’re hiring a Senior Applied AI En…
论文与出版物 CaP-X: A Framework for Benchmarking and Improving Coding Agents for Robot Manipulation Max Fu, Justin Yu, Karim El-Refai, Ethan Kou, Haoru Xue, Huang Huang, Wenli Xiao, Guanzhi Wang, Fei-Fei Li, Guanya Shi, Jiajun Wu, Shankar Sastry, Yuke Zhu, Ken Goldberg, LinxiJimFan March 2026
论文与出版物 Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale Janardhan (Jana) Kulkarni March 2026
岗位 Research Engineer II Posted: 2026年3月20日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering We are looking for a Research Engin…