The Senior Researcher position at Microsoft Research's AI and Systems Reliability Group focuses on advancing research in areas such as distributed systems, machine learning for system reliability, and formal methods. The team aims to enhance the reliability of AI technologies, particularly in personal, mobile, and datacenter platforms. Candidates will have the opportunity to define a novel research agenda and collaborate with others to turn ideas into impactful products. This role is ideal for those passionate about solving significant challenges in computing.

• PhD or currently pursuing a PhD in Computer Science or Computer Science Engineering.
• A research program demonstrated by journal and conference publications such as NeurIPS, SOSP, or OSDI.
• Firm understanding of Distributed Systems and Cloud Systems.
• Demonstrable ability to work in a multi-disciplinary team.
• Effective communication skills and ability to work in a collaborative environment.
• A PhD focused on core areas of research including datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems, operating systems, programming languages, storage systems, systems reliability, systems security, or software engineering.

• Define a novel research agenda and drive forward an effective program of basic, fundamental, and applied research.
• Collaborate with group members and others to build new ideas.
• Realize research ideas in products and services used worldwide.

• Employees at Microsoft are often offered comprehensive, “world-class” benefits—including health and mental-wellness programs, competitive pay with bonuses and stock awards, and retirement/savings options. Time-off and flexibility are common, with generous vacation and holidays, parental and caregiver leave, and flexible work schedules, alongside learning support, employee resource groups, product discounts, and matching-gifts/volunteering programs. Specific benefits can vary by region.