Role at a glance
- Job function
-
Software Engineering & IT Systems Software Engineering
- Salary
- Not yet verified Check the description for pay details; an amount or pay period has not been verified.
- Location
- Redmond, Washington, United States
- Work arrangement
- On-site
- Employment
- Full-time
Spotted an issue?
We’ll check it against the original posting.
Role Summary
Conduct research in software verification, integrating AI and agent technologies to advance systems software verification and support the development of verified systems code. The role collaborates on-site in Redmond and works with research collaborators and product teams.
What You'll Do
- Drive research in software verification integrating AI technology.
- Collaborate to develop and test new ideas within existing or new collaborative teams.
- Build and maintain state-of-the-art systems in this space.
- Collaborate in preparing technical papers and presentations.
- Work with product teams to support the impact of the technology.
Generated from the employer's posting. Verify important details before applying.
View full postingQualifications
Required: a doctorate in a relevant field with 3+ years of related research experience, a master's degree in a relevant field with 4+ years, a bachelor's degree in a relevant field with 6+ years, or equivalent experience.
Preferred
- Doctorate in a relevant field and 6+ years of related research experience, master's degree in a relevant field and 7+ years, bachelor's...
- Experience publishing academic papers as a lead author or essential contributor.
- Experience participating in a top conference in a relevant research domain.
- Active participation in engineering efforts in the above areas, with involvement in building and maintaining systems.
- Demonstrable ability to work in a multi-disciplinary team.
Original job description
Content provided by the employer
Original job description
Content provided by the employer
As a Principal Researcher or Senior Principal Researcher, you’ll play a critical part in advancing research in systems software verification and leveraging that research to dramatically impact the way software is built and maintained. You’ll devise new ways to leverage AI and agent technologies to enable rapid development of vast amounts of verified systems code. You’ll deepen your expertise in formal methods, large‑scale systems, and integration of AI and agent technologies. You’ll primarily collaborate on-site in Redmond with opportunities for growth and learning across disciplines.
Microsoft’s mission is to empower every person and every organization on the planet to achieve more. As employees we come together with a growth mindset, innovate to empower others, and collaborate to realize our shared goals. Each day we build on our values of respect, integrity, and accountability to create a culture of inclusion where everyone can thrive at work and beyond.
Responsibilities
Drive high-impact research in software verification integrating AI technology.
Collaborate to develop and test out new ideas within existing or new collaborative teams.
Build and maintain state-of-the-art systems in this space.
Collaborate in preparing technical papers and presentations.
Work with product teams to ensure your technology has world-changing impact.
Qualifications
Required:
Doctorate in relevant field AND 3+ years related research experience
OR Master's Degree in relevant field AND 4+ years related research experience
OR Bachelor's Degree in relevant field AND 6+ years related research experience
OR equivalent experience.
Preferred:
Doctorate in relevant field AND 6+ years related research experience
OR Master's Degree in relevant field AND 7+ years related research experience
OR Bachelor's Degree in relevant field AND 9+ years related research experience
OR equivalent experience.
Experience publishing academic papers as a lead author or essential contributor.
Experience participating in a top conference in relevant research domain.
Active participation in engineering efforts in the above areas, with involvement in building and maintaining systems.
Demonstrable ability to work in a multi-disciplinary team.
#Research #MSRR
Research Sciences IC5 - The typical base pay range for this role across the U.S. is USD $142,800 - $274,800 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here:
https://careers.microsoft.com/us/en/us-corporate-pay
Research Sciences IC6 - The typical base pay range for this role across the U.S. is USD $165,600 - $296,400 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $220,800 - $331,200 per year.
Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here:
https://careers.microsoft.com/us/en/us-corporate-pay
This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.
About the company
Microsoft
Large Enterprise
Microsoft is a global technology leader that empowers individuals and organizations to achieve more through innovative software, services, and devices. Founded in 1975, the company is best known for its flagship products like the Windows operating system and Microsoft Office suite. In addition to personal computing, Microsoft is a leader in cloud computing with its Azure platform, providing a range of solutions for businesses to enhance productivity and efficiency. With a strong commitment to sustainability and accessibility, Microsoft continues to drive technological advancements that shape the future of work and learning.