The Research in Software Engineering (RiSE) Group at Microsoft Research seeks exceptional Research Software Engineers with a background in at least some of the following areas: formal methods, proof engineering, theorem proving, programming languages & tools, and related areas.  

The position involves improving the state-of-the-art of proof-oriented programming languages, with a focus on advanced software development, working with a diverse team of computer scientists and systems programmers.  

#Research

Responsibilities

Develop and drive high-impact research in proof-oriented programming languages and systems with a focus on software development. 

Collaborate to develop and test out new ideas within existing or new collaborative teams.  

Build and maintain state-of-the-art proof-oriented programming systems.  

Prepare technical papers and presentations.  

Qualifications

Required: 

• EITHER a PhD in formal methods, proof-engineering, theorem proving, or related area; OR a Master’s degree or equivalent with 5+ years of engineering experience in formal methods, proof-engineering, theorem proving, or a related area.  

Preferred: 

• Active participation in research as demonstrated by journal or conference publications.  
• Strong understanding of state-of-the-art in proof-oriented programming and theorem proving systems. 
• Demonstrable ability to work in a multi-disciplinary team. 
• Effective communication skills and ability to work in a collaborative open-source environment. 

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.  We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.