Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Applied Researcher 2/Senior Applied Researcher – Code|AI team
The Code|AI team is the Applied Research and Data for Github Copilot and VS Code, working on the future of AI for Developers! We are seeking entrepreneurial and creative Applied Researchers 2/ Senior Applied Researchers…
Principal Applied Researcher – AI for Developers
The Data and AI team in Microsoft’s Developer Division is working on the future of AI for Developers! We are seeking entrepreneurial and creative Principal Applied Researcher to lead groundbreaking research projects, taking these from…
UFO2: The Desktop AgentOS
mimalloc: A new, high-performance, scalable memory allocator for the modern era
mimalloc is an open-source, modern, scalable memory allocator that is a drop-in replacement for malloc and free. It is relatively small (~12K lines), with clear internal data structures, and is easy to build and integrate…
