Principal Researcher and Senior Principal Researcher, Software Verification

Microsoft

Confirmed live today High trust

Hybrid

Quick summary

Work type: Hybrid
Location: Redmond, WA
Salary: $142,800–$274,800 / yr
Posted: 13 days ago
Freshness: Confirmed live today
Closes: Apr 12, 2027
Nearby: 99+ roles within 25 mi

Market check

Salary context

Competitive pay

How this pay compares to similar roles

Similar $205k

This role $209k

$127k $291k

below market most similar roles pay here above market

This role pays more than 57% of similar roles. Most pay $177,250–$232,000 — the blue band above. At the midpoint, this role pays about $209k versus about $205k for comparable roles.

Based on 240 similar postings.

Employer

About Microsoft

Microsoft Corporation is a global technology leader producing software, hardware, and cloud services including Windows, Office 365, Azure cloud platform, Xbox gaming, and Surface devices. Industry: Software & Cloud Computing

Microsoft currently has 694 open roles on FindRole.

Listed pay typically runs $119,800–$234,700 across 651 roles with salary data.

Most-posted roles

View all roles at Microsoft

At a glance

TL;DR · Principal Researcher and Senior Principal Researcher, Software Verification

Role Posting Log in to save

Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research The Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research will join a team of world-class researchers and engineers to advance the state of the art in software verification. This role involves driving high-impact research that integrates AI technology to enable the rapid development of verified systems code. Day-to-day responsibilities include building and maintaining state-of-the-art systems, collaborating on new ideas within multi-disciplinary teams, and preparing technical papers and presentations. The position requires expertise in formal methods, large-scale systems, and the integration of AI and agent technologies. The work focuses on solving technical problems related to systems software verification and leveraging coding agents to improve how software is built and maintained across various product areas.

Skills

Software Verification Formal Methods Agent Technologies Systems Software large‑scale systems

What you'll do

Drive high-impact research in software verification by integrating AI technology.
Devise new ways to leverage AI and agent technologies for rapid development of verified systems code.
Build and maintain state-of-the-art systems in the software verification space.
Prepare technical papers and presentations for the research community.
Work with product teams to ensure research technology has a world-changing impact.
Deepen expertise in formal methods, large-scale systems, and AI integration.

What we're looking for

A Doctorate in a relevant field and 3+ years of related research experience.
A Master's Degree in a relevant field and 4+ years of related research experience.
A Bachelor's Degree in a relevant field and 6+ years of related research experience.
Equivalent experience to the education and research requirements.
A Doctorate in a relevant field and 6+ years of related research experience (preferred).
A Master's Degree in a relevant field and 7+ years of related research experience (preferred).
A Bachelor's Degree in a relevant field and 9+ years of related research experience (preferred).
Experience publishing academic papers as a lead author or essential contributor (preferred).
Experience participating in a top conference in the relevant research domain (preferred).
Active participation in engineering efforts, including building and maintaining systems (preferred).
Demonstrable ability to work in a multi-disciplinary team (preferred).

Save