Senior RSDE - RiSE Group (Programming Languages, Automated Reasoning, High-Performance Computing, & Software Engineering) - Microsoft Research

Last updated 5 days ago
Location:Redmond, Washington
Job Type:Full Time

The Research in Software Engineering Group in Microsoft Research seeks candidates in the areas of programming languages,compilers/runtime,automated reasoning, high-performance computing,verification,and software engineering. We are seeking exceptionalResearch Software Development Engineercandidates who are interested innovel approachesto improving software quality,performance,and reliabilityatindustrialscale.This is an exceptional opportunity to drive researchwith a focus on advanced software developmentin the context of a diverse team of researchers to push the state-of-the-art in software production.


Develop and drive high-impactresearch agenda in programming languages, compiler/runtime, automated reasoning, high-performance computing,verification, andsoftware engineeringwith a focus on software development.

Collaborate to develop and test out new ideas within existing or new collaborations within the group and with others.

Build software systems thattest new approaches or develop novel theoretical and practical insights.

Prepare technical papers and presentations.


Required Qualifications:

PhD in programming language design, compiler/runtime, automated reasoning, verification, high-performance computing, or a related area


MS degree plus 5 years of engineering experience in programming language design, compiler/runtime, automated reasoning, verification, high-performance computing, or a related area.

Preferred Qualifications:

Active participation in research as demonstrated by journal or conference publications. 

Strong understanding of state-of-the-art in software systems and software engineering.

Demonstrable ability to work in a multi-disciplinary team.

Effective communication skills and ability to work in a collaborative 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.

Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.