Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Dynamically Checked Deep Immutability in Python
Career Opportunity
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…
Career Opportunity
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…
Publication