|Job Type:||Full Time|
The Software Engineering group at Microsoft Research, Cambridge works closely with several Microsoft product groups, with the aim of improving the productivity of some of the world’s largest development and deployment processes. This year’s topic is software verification via two specific pieces of work. The first project is looking at optimizing verification processes with respect to software controlled through feature flags within Office, characterizing and modelling the current processes and using machine learning to optimize test selection. A second project focuses on the warnings generated by security verification tools with the aim of minimizing false positives and, through a self-learning model, improving the actionability of security warnings.
Characterize the current test or security verification processes, develop models and technique to optimize the choice of tests and propose ideas to improve the actionability of the results of the verification processes.
- Student enrolled in a PhD program or outstanding undergraduate/Master’s student with research experience
- Programming skills
- Data Analysis
- Papers published at top-tier conferences and journals
- C# Skills
- Familiarity with relational databases or equivalent.
- Understanding of software verification processes.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances.
Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.