The programming languages and tools research groups in Microsoft Research are again looking for outstanding people for both full-time researcher positions and internships. Our research groups span a broad range of areas in programming languages, tools, and software development. Please take a look at the group websites for more information, and follow the instructions below to apply.

Microsoft is an equal opportunity employer and supports workforce diversity.

• Advanced Compiler Technology. David Tarditi leads the ACT group, which studies programming language implementation and design.  The group is interested in compilers, runtime systems, and language design.  The group’s research areas include compilation of managed code, automatic storage management, typed assembly language, language features for improving program reliability, and language design and compilation for parallel hardware.
• Concurrency Research.   Jim Larus is starting a new group to explore ways to improve parallel programming. The group will focus on improvement in languages, compilers, and tools, with a goal of reducing the complexity and difficult of developing software for parallel computers.
• Foundations of Software Engineering. Wolfram Schulte leads the FSE group, which is devoted to improving software development productivity by using modeling, design verification and advanced software testing
• Human Interaction in Programming. Rob DeLine leads the HIP group, which uses HCI techniques like controlled user studies and ethnography to study software developers, testers, managers and their teams. The goal is to produce innovative software development tools that address human and social issues, like limited working memory, limited attention, frequent interruption and shifting social networks.
• Programming Languages and Methods.  The PLM group seeks to improve software development productivity through the design of new programming language features, in conjunction with program verification. If you are interested in joining the PLM group, please contact Rustan Leino.
• Runtime Analysis and Design. Trishul Chilimbi leads the RAD group, which explores efficient runtime measurement and analysis techniques to improve software quality. It uses hybrid static-dynamic analysis, statistical sampling techniques, continuous online adaptation, and customized program execution environments.
• Software Design and Implementation. Ben Zorn leads the SDI group which investigates issues related to programming language implementation, application development, and software deployment.  Our current projects focus on approaches to software error tolerance, real-time and embedded systems, and system configuration.
• Software Reliability Research. Thomas Ball leads the SRR group, which studies how program analysis, program verification and software measurement techniques can be used to improve the quality of software. Current projects include CHESS (checking of system software), Metrizone (software metrics measurement and modeling) and Zap (automated theorem proving for software analysis).

Other MSR projects and groups that may be of interest to applicants:

• Singularity. The Singularity project is a multidisciplinary effort managed by Galen Hunt and Jim Larus that focuses on the construction of reliable systems through innovation in the areas of systems, languages, and tools. We started with the question: what would a software platform look like if it was designed from scratch with the primary goal of dependability?
• Rigorous Software Engineering. Sriram Rajamani has started the Rigorous Software Engineering (RSE) research group in Microsoft Research India. Our research is in the area of solving large-scale software engineering problems using programming languages, program analysis, specification, and verification techniques.

• When: Please submit your application materials as soon as possible, preferably by February 1, 2006.
• What to send: Please email a vita, research statement, and the email addresses of three reference letter writers to one of the managers listed above (your primary preference). If you are interested in being considered by more than one group, please list the others, in order of preference.

• When: Please submit your application materials as soon as possible, preferably by February 1, 2006.
• What to send:  Submit your application materials through the MSR intern tool at the URL below.  When filling in the form, be sure to check at least one of our groups (or we'll never see your application!).
  https://www.research.microsoft.com/aboutmsr/jobs/internships/apply/intern_apply.aspx

Questions? Contact Jim Larus (larus@microsoft.com) or Wolfram Schulte (schulte@microsoft.com).