论文与出版物 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 项目
岗位 Research Intern – Multi-Modal Sensing & Secure AI Devices Posted: 2026年1月21日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Hardware and devices, Programming languages and software engineering This Research Internship provides a…
岗位 Research Intern – Office of the Chief Scientific Officer Posted: 2026年1月21日 地点: Mountain View, CA, US 研究领域: Artificial intelligence, Computer vision, Data platforms and analytics, Human-computer interaction, Programming languages and software engineering, Security, privacy, and cryptography, Systems and networking The Office of the Chief Scientific …
论文与出版物 EVICPRESS: Joint KV-Cache Compression and Eviction for Efficient LLM Serving Shaoting Feng, Yuhan Liu, Hanchen Li, Xiaokun Chen, Samuel Shen, Kuntai Du, Zhuohan Gu, Rui Zhang, Yuyang Huang, Yihua Cheng, Jiayi Yao, Qizheng Zhang, Ganesh Ananthanarayanan, Junchen Jiang December 2025
岗位 Principal Machine Learning Engineer Posted: 2025年12月13日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Medical, health and genomics, Programming languages and software engineering Health Futures is a Research and In…
岗位 Principal Research Software Development Engineer Posted: 2025年12月12日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering This Research Software Development …
岗位 Principal Security Engineer Posted: 2025年12月11日 地点: Redmond, WA, US 研究领域: Programming languages and software engineering, Security, privacy, and cryptography Microsoft Research is building new …
岗位 Senior Machine Learning Engineer Posted: 2025年12月11日 地点: Cambridge, MA, US 研究领域: Artificial intelligence, Programming languages and software engineering We are seeking a Senior Machine Lea…
