OverviewAt Microsoft Research, you'll shape the future of systems and AI by creating and using cutting-edge technology for software verification. You'll work alongside world-class researchers and engineers to advance the state of the art in software verification through rigorous, impactful research in the age of powerful coding agents.
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.
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.
QualificationsRequired:
- 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.