The Operating Systems Group is a unit of the Systems and Networking Research Area. The most important job of an operating system is to provide a context within which programs can be created and run. Our group conducts fundamental and applied research into the base abstractions to create this context. To make our work relevant, we build prototype systems to evaluate our ideas and to prove their implemention into practical systems.

Primary Contact: Galen Hunt
Condit, Jeremy	Hawblitzel, Chris	Hunt, Galen	Photo Not Available Nightingale, Ed
Affiliate Members
Zill, Brian

• Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are researching OS innovations, extending programming languages, and developing new techniques and tools for specifying and verifying system behavior. This research occurs in a new OS also called Singularity.

We are hiring! We are looking for research candidates with demonstrated qualities of research taste, innovation, and first-hand system building. We highly value a proven track record as demonstrated by strong publications in top venues. If you are interested in a full-time Researcher position, you will need to submit a C.V. or resume, a research statement, two publications you feel represent your best work, and provide at least three references. The minimum education requirement for a Researcher is a Ph.D. in Computer Science or equivalent.

We do most of our hiring in the spring of each year. To be considered in our spring candidate pool, please apply online by February 15, listing Galen Hunt as your primary contact.

Microsoft is an equal opportunity employer and supports workforce diversity.

If you are an exceptional Ph.D. student interested in a research internship, please apply through the MSR Internship Application site to our group. Most interns work during the summer (application deadline is February 15), but we are interested in "off season" interns as well.