Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research

Overview At 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. 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 experienceOR Master's Degree in relevant field AND 4+ years related research experienceOR Bachelor's Degree in relevant field AND 6+ years related research experienceOR equivalent experience. Preferred: • Doctorate in relevant field AND 6+ years related research experienceOR Master's Degree in relevant field AND 7+ years related research experienceOR Bachelor's Degree in relevant field AND 9+ years related research experienceOR 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.