Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research
Core
Drive high-impact research in software verification integrating AI technology, build state-of-the-art systems, and collaborate with product teams to ensure world-changing impact.
Role type
Principal Researcher and Senior Principal Researcher (Software Verification & AI)
Builds
State-of-the-art software verification systems
Domain
Software Engineering, AI, Formal Methods
Deliverable
production ML models
Required skills
Software verification, AI integration, system building, academic paper writing, conference participation, multi-disciplinary collaboration
Preferred skills
Lead author experience, top conference participation, engineering involvement
Technologies
AI frameworks, verification tools
Responsibilities
Develop and test new research ideas, build and maintain verification systems, prepare technical papers and presentations, collaborate with product teams
Seniority
Principal, strategy & mentorship
