[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All Microsoft jobs](https://jobs.opennash.com/companies/microsoft/) · [Search jobs](/search/)

Microsoft

# Senior Researcher - Software Verification - Microsoft Research

United States, Washington, Redmond Senior individual contributor Software Engineering 

Listed on Microsoft’s official careers site. Posted October 14, 2026. Check that it is still open and apply there.
[Apply on Microsoft’s careers site →](https://apply.careers.microsoft.com/careers/job/1970393557040562)

[OpenNash Jobs](https://jobs.opennash.com/) / [Microsoft](https://jobs.opennash.com/companies/microsoft/) / Senior Researcher - Software Verification - Microsoft Research

The employer’s listing has no description we could read. See it on their site.

## At a glance
- Posted by the employer: Oct 14, 2026
- First seen by OpenNash: Oct 18, 2026
- Last checked: Oct 18, 2026
- Listed for: 4 days
- Location: United States, Washington, Redmond[Apply on Microsoft’s careers site →](https://apply.careers.microsoft.com/careers/job/1970393557040562)

## More jobs at Microsoft

### [Member of Technical Staff, Microsoft Robotics](https://jobs.opennash.com/companies/microsoft/jobs/116074aea50f3d2ae2ec/)

United States, Washington, Redmond

### [Member of Technical Staff, Microsoft Robotics (Software Systems)](https://jobs.opennash.com/companies/microsoft/jobs/844ba3de52d8ce588d33/)

United States, Washington, Redmond

### [Multiple Positions (Senior & Principal) - Windows in the Cloud](https://jobs.opennash.com/companies/microsoft/jobs/e304f2ab9e110fb71021/)

United States, Washington, Redmond

### [Principal Program Manager, Partner Developer Relations - Minecraft](https://jobs.opennash.com/companies/microsoft/jobs/eac1bae51a99fda335c8/)

United States, Washington, Redmond

### [Principal Quantum Applications Architect - Cryptography](https://jobs.opennash.com/companies/microsoft/jobs/ef79a97e841a1e899a9b/)

United States, Washington, Redmond

## Similar jobs at other companies

### [Software Verification Engineer](https://jobs.opennash.com/companies/lockheed-martin/jobs/f51355e571868682fd5a/)

Lockheed Martin · Stratford, CT, Owego, NY

### [Senior Software Verification Engineer](https://jobs.opennash.com/companies/lockheed-martin/jobs/d2b0889a84d9fc0af0f9/)

Lockheed Martin · Stratford, CT, Owego, NY

### [Verification Software Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/01a3732d24f27b1ee2a2/)

Qualcomm · San Diego, California, United States of America

### [Retail Sales Specialist - Microsoft](https://jobs.opennash.com/companies/best-buy/jobs/92bd593194742f0eb4ed/)

Best Buy · Aurora, Colorado

### [Retail Sales Specialist - Microsoft](https://jobs.opennash.com/companies/best-buy/jobs/64268aeec0ed71280451/)

Best Buy · Austin, Texas

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)