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 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: 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: This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.