Microsoft Research: Programming Languages and Software Engineering Advancements

Programming Languages and Software Engineering at Microsoft Research

This document outlines the research areas and featured content within Microsoft Research's focus on Programming Languages and Software Engineering. It details various research domains, ongoing projects, and career opportunities within this field.

Research Domains:

Microsoft Research is actively involved in several key areas of computer science, including:

• Intelligence:
  • Artificial Intelligence (AI)
  • Audio & Acoustics
  • Computer Vision
  • Graphics & Multimedia
  • Human-Computer Interaction (HCI)
  • Human Language Technologies
  • Information Retrieval
• Systems:
  • Data Platforms & Analytics
  • Hardware & Devices
  • Programming Languages & Software Engineering
  • Quantum Computing
  • Security, Privacy & Cryptography
  • Systems & Networking
• Theory:
  • Algorithms
  • Mathematics
• Other Sciences:
  • Ecology & Environment
  • Economics
  • Medical, Health & Genomics
  • Social Sciences
  • Technology for Emerging Markets

Featured Content:

The page highlights several significant projects and publications:

• TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models
  • Authors: Deyin Yi, Yihao Liu, Lang Cao, Mengyu Zhou, Haoyu Dong, Shi Han, Dongmei Zhang
  • Publication: The 63rd Annual Meeting of the Association for Computational Linguistics (ACL ’25)
  • Date: July 2025
  • Related Project: Spreadsheet Intelligence
• Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
• Jacdac: Service-Based Prototyping of Embedded Systems
• Project Verona: a programming language for the modern cloud
• Research in Software Engineering (RiSE)
• PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
  • Authors: Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
  • Publication: USENIX Symposium on Operating Systems Design and Implementation (OSDI)
  • Date: July 2025
  • Award: Distinguished Artifact Award
  • Related Project: Practical System Verification

Career Opportunities:

Several internship and full-time positions are advertised, focusing on research in various domains:

• Research Science: Internship opportunities
  • Posted: July 14, 2025
  • Location: Beijing, China; Shanghai, China
  • Research Areas: Algorithms, Artificial intelligence, Data platforms and analytics, Human-computer interaction, Programming languages and software engineering
• Senior Data Scientist – Engineering Systems 365 team
  • Posted: July 11, 2025
  • Location: Redmond, WA, US; Remote (within US)
  • Research Areas: Data platforms and analytics, Programming languages and software engineering, Systems and networking
• Principal Applied Scientist – Microsoft 365 Copilot
  • Posted: July 11, 2025
  • Location: Redmond, WA, US; Remote (within US)
  • Research Areas: Artificial intelligence, Economics, Programming languages and software engineering
• Principal Data Scientist – CoreAI
  • Posted: July 11, 2025
  • Location: Redmond, WA, US; Remote (within US)
  • Research Areas: Artificial intelligence, Data platforms and analytics, Programming languages and software engineering
• Senior Applied Researcher – Microsoft’s Developer Division
  • Posted: July 11, 2025
  • Location: Redmond, WA, US; Remote (within US)
  • Research Areas: Artificial intelligence, Data platforms and analytics, Programming languages and software engineering, Systems and networking
• Member of Technical Staff, AI Platform Engineer
  • Posted: July 11, 2025
  • Location: Mountain View, CA, US
  • Research Areas: Artificial intelligence, Programming languages and software engineering
• Senior Researcher – AI for Code
  • Posted: July 9, 2025
  • Location: Cambridge, UK
  • Research Areas: Artificial intelligence, Programming languages and software engineering, Systems and networking
• Senior Software Engineer in Quantum Chemistry – AI for Science
  • Posted: July 8, 2025
  • Location: Amsterdam, Netherlands; Berlin, Germany; Cambridge, UK
  • Research Areas: Artificial intelligence, Programming languages and software engineering

Navigation and Filtering:

The page provides options to sort results by relevance, date, or alphabetical order. Users can also filter content by type (Publications, Videos, Projects, Blog posts, Tools, Events, Career Opportunities, Groups), author, and publication date range.

Social Media and Sharing:

Links are provided to follow Microsoft Research on various social media platforms (X, Facebook, LinkedIn, YouTube, Instagram) and to subscribe to their RSS feed. Sharing options for X, Facebook, and LinkedIn are also available.

Microsoft Products and Services:

The footer includes links to various Microsoft products and services, categorized under:

• New Releases (Surface devices, Copilot, Windows AI)
• Microsoft Store (Account, Downloads, Support, Returns, Order Tracking, Workshops)
• Education (Devices, Teams, Microsoft 365, Office, Educator Training, Student Deals, Azure for Students)
• Enterprise (Cloud, Security, Azure, Dynamics 365, Microsoft 365, Advertising, Copilot, Teams)
• Developers & IT (Developer Microsoft, Learn, Marketplace, Tech Community, Azure Marketplace, AppSource, Power Platform, Visual Studio)
• Company (Careers, About Microsoft, Privacy, Investors, Accessibility, Sustainability)

Privacy Choices:

Links are provided for consumer privacy choices and to manage cookies.

Image:

A header image depicts "Programming languages and software engineering" with a visual representation of code and a computer screen.