Senior Researcher - Software Verification - Microsoft Research
About The Position
At Microsoft Research, the Senior Researcher will shape the future of systems and AI by creating scalable systems for program and systems verification and developing state-of-the-art automated reasoning tools, including SMT solvers. The role advances rigorous software engineering by turning foundational ideas into practical advances, including through integration of AI and agent technologies. The researcher will work with world-class researchers and engineers, collaborate primarily on-site in Redmond, and have opportunities for growth and learning across disciplines. The work supports Microsoft’s mission to empower every person and organization to achieve more through responsible innovation and shared progress.
Requirements
- Doctorate in a relevant field, or a master's degree in a relevant field and at least 3 years of related research experience, or a bachelor's degree in a relevant field and at least 4 years of related research experience, or equivalent experience.
Nice To Haves
- Doctorate, or currently pursuing a doctorate, in software engineering, programming languages, automated reasoning, systems, or a relevant field.
- Experience publishing academic papers as a lead author or essential contributor.
- Experience participating in a top conference in a relevant research domain.
- 3 years of experience building large-scale systems integrating rigorous methods and AI technologies for software engineering.
- Active participation in engineering efforts in the relevant areas, including involvement in building and maintaining systems.
- Active participation in research demonstrated by publications.
- Demonstrable ability to work in a multidisciplinary team.
Responsibilities
- Drive high-impact research in rigorous software engineering integrating AI technologies.
- Collaborate to develop and test new ideas within existing or new collaborative teams.
- Build and maintain state-of-the-art systems in this research area.
- Collaborate in preparing technical papers and presentations.
- Work with product teams to ensure the technology has world-changing impact.
Benefits
- Certain roles may be eligible for benefits and other compensation; additional benefits and pay information is available through Microsoft Careers.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
