[PRL] Fwd: Programming Languages and Tools Research at Microsoft

[Matthias Felleisen]

FYI. I think that if you have any interested in joining a research lab 
after your PhD, you should check out this kind of opportunity -- 
Matthias


Begin forwarded message:

> From: "Jim Larus" <larus at microsoft.com>
> Date: December 31, 2004 3:07:45 PM EST
> To: <matthias at ccs.neu.edu>
> Subject: Programming Languages and Tools Research at Microsoft
>
> Dear Matthias,
>
>  
>
> Again, I would like to ask your assistance in finding outstanding 
> students interested in joining us at Microsoft Research, either in a 
> full-time position or for an internship.
>
>  
>
> Our groups in Microsoft Research offer an unparalleled opportunity to 
> conduct innovative and cutting edge research and to see your research 
> turned into fundamental improvements in software development, quality, 
> and performance. Microsoft Research’s ambitious research program 
> combines world-class research with our academic colleagues and a 
> unique opportunity to put ideas into practice by transferring 
> technology to Microsoft. Researchers at MSR have an unprecedented 
> opportunity to conduct fundamental research and, at the same time, 
> influence and improve software development for the world’s largest 
> software company and its customers.
>
>  
>
> Our research starts with a wide-ranging collaboration between several 
> strong research groups:
>
> °          Advanced Compiler Technology. David Tarditi 
> (dtarditi at microsoft.com) leads the ACT group, which studies 
> programming language implementation and 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. (http://research.microsoft.com/act/)
>
> °          Foundations of Software Engineering. Wolfram Schulte 
> (schulte at microsoft.com) leads the FSE group, whose research focuses on 
> technologies for modeling and verification, mainly using a new 
> contract specification language for .NET and a new breed of static 
> analysis, test case generation, and runtime-verification tools. 
> (http://research.microsoft.com/fse/)
>
> °          Runtime Analysis and Design. Trishul Chilimbi 
> (trishulc at microsoft.com) leads the RAD group, which focuses on runtime 
> systems and analyses including hybrid static-dynamic approaches to 
> designing innovative tools and architectures that enhance software 
> reliability, resilience, performance, and security. 
> (http://research.microsoft.com/rad)
>
> °          Software Design and Implementation. Ben Zorn 
> (zorn at microsoft.com ) leads the SDI group which focuses on the 
> creation, translation, and execution of software.  SDI consists of the 
> ACT and RAD groups as well as additional researchers investigating 
> approaches to making software development, deployment, and 
> configuration easier and more effective. 
> (http://research.microsoft.com/sdi/)
>
> °          Software Improvement Group. Jim Larus (larus at microsoft.com) 
> leads the SWIG group, which consists of TVM, SPT, and Human 
> Interactions in Programming 
> (http://research.microsoft.com/projects/hip) - a new project focused 
> on improving interactions among groups of developers. He also leads 
> the Singularity project 
> (http://research.microsoft.com/os/singularity/), which is a new, 
> multidisciplined effort to build dependable software from the “bare 
> metal” on up. (http://research.microsoft.com/swig)
>
>  °          Software Productivity Tools. Sriram Rajamani 
> (sriram at microsoft.com) leads the SPT group, which does research in 
> writing and enforcing partial specifications about programs, new 
> methods to find concurrency errors in programs, and new methodologies 
> for software design. (http://research.microsoft.com/spt/)
>
>  °          Testing, Verification, and Measurement.  Thomas Ball 
> (tball at microsoft.com) leads the TVM group, which performs research on 
> testing, verifying and measuring the reliability of complex software. 
> Current projects include Zap, a next-generation automatic theorem 
> prover for program analysis, MUTT, a tool for automatic test 
> generation of MSIL jointly developed with the FSE group, visualization 
> of software change, and dynamic inference of program behavior. 
> (http://research.microsoft.com/tvm/)
>
>  
>
> Please tell your best students about the research opportunities in 
> these groups and let them know that we are encouraging applicants 
> (both fulltime and summer interns) to send their application materials 
> as soon as possible, preferably by January 15, 2004 (for interns) and 
> February 1, 2005 (for fulltime applicants).   Microsoft is an equal 
> opportunity employer and supports workforce diversity.  For more 
> information about full-time and intern employment, please visit:
>
>  
>
> http://research.microsoft.com/sdi/plt-recruiting-2005.htm
>
>  
>
> Summer internship program should apply through the MSR intern web page:
>
>  
>
> http://research.microsoft.com/aboutmsr/jobs/internships/redmond.aspx
>
>  
>
> If you or your students have questions or would like further 
> information, please don’t hesitate to contact me.
>
>   
>
> Best wishes for the New Year!
>
>  
>
> Jim 
>
>