About this role

Overview The Azure Research team is looking for a highly motivated and technical Researcher to lead Microsoft's effort in automating formal verification for real-world production code, inside and outside Azure. Our goal is to build methods and tools to enable developers to define understandable and exhaustive specifications of their applications and to automatically verify the correctness of their implementation - or to assist the agent in producing such an implementation along with its correctness proof. Responsibilities <ul><li>Lead research and development in agentic verification of real-world code.</li><li>Contribute to both theoretical foundations and help product team implement our approach.</li><li>Publish high-impact research and represent Microsoft at top-tier academic and industry venues.</li><li>Mentor less experienced researchers and interns and contribute to the broader research community.</li></ul> Qualifications Required Qualifications:<ul type="disc"><li>PhD (or equivalent) in computer science on a topic related to formal verification.</li><li>A solid foundation and experience in software and system security.</li><li>A proven publication track record at top conferences in security, programming language and formal methods conferences.</li><li>Significant experience with AI and agentic systems, specifically for software engineering.</li></ul>Preferred Qualifications:<ul><li>Solid expertise in the Rust programming language and its semantics.</li><li>Solid expertise in using and extending the Lean theorem prover.</li><li>Familiarity with cryptography and cryptographic protocols.</li><li>Familiarity with Microsoft Azure technologies.</li></ul> Research Sciences IC4 - The typical base pay range for this role across United Kingdom is £ 74,700.00 - £ 122,600.00 per year. Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here: <a href="https://careers.microsoft.com/v2/global/en/corporate-pay/united-kingdom-corporate-pay.html">https://careers.microsoft.com/v2/global/en/corporate-pay/united-kingdom-corporate-pay.html</a> This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled. <hr> 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 <a href="https://careers.microsoft.com/v2/global/en/accessibility.html">requesting accommodations.</a>