Here are the List of Research Labs:
Microsoft Research Labs:
Microsoft Research Software Engineering Foundations of SE Software Reliability Research Human Interactions in Programming Microsoft CSE Microsoft Research Wolfram Schulte Nikolai Tillmann Rob DeLine Tom Ball Interns (1)
IBM Research Labs:
IBM Research PL&SE Projects IBM Research Software Research Centers and Groups Security Global Security Analysis Lab Internet Security Group Java Security Secure Systems Department Secure Software and Services Distributing Trust on Internet Summer students (03/31) (2) Rational Frank Tip Peri Tarr Annie Ying Gary S. Sevitsky Clay Williams
Avaya Labs Research Software Technology Research Department Dave Weiss Jenny Li Work (04/01) (2)
Google Research Labs:
Google Labs Google Research Jie Ren Yuetang Deng John Penix
Yahoo Research Labs:
Sun Research Labs:
Sun Research Ann Anderson on XACML policy
Other Research Labs:
Fujitsu Labs (Software Applications Validation Environment: SAVE, model checking using JPF) Sreeranga P. Rajan Oksana Tkachuk
NEC Research Institute NEC Lab Robust and Secure Systems Guofei Jiang
ABB Research Brian Robinson Jiang Zheng Aldo Dagnino
Accenture Technology Labs Mark Grechanik Qing Xie
Agitar Labs Agitar Marat Boshernitsan
DeCoMo Lab Dachuan Yu Ajay Chander Dinakar Dhurjati Internship
Intel Microprocessor Research Labs-Programming Systems Labs Intel Research Kingsum Chow
ASE Group in NASA Ames Research Center ASE Group Corina Pasareanu Dimitra Giannakopoulou JPF JPL Lab for Reliable Software Alex Groce IV&V CS Division NAS Ames Center riacs JPL Internship
SRI International Computer Science Lab System Design Lab
NIST IT Lab (internship program seems for undergraduate or one before getting into graduate only) Internship
Los Alamos National Laboratory (LANL) Internship
Lawrence Berkeley National Laboratory (LBL)
Lawrence Livermore National Laboratory (LLNL) CS Group Internship
Sandia National Laboratory (Sandia)
Argonne National Laboratory (ANL) Idaho National Laboratory
Pacific Northwest National Laboratory (PNNL)
Johns Hopkins University Applied Physics Laboratory (APL) Employment
Lockheed Martin- System Integration- Owego Lockheed Martin
IBM RTP (Rational Performance Tester, redbook) Kent Siefkes David M Chadwick
Microsoft RTP (Visual Studio Team Foundation Server) Brian Harry Doug Neumann (introduction)
HP Lab Arch & Soft Component HP Research Lab Trust Security and Privacy Summer interns (03/01) (2)
Oracle.com Omar Alonso from Database and Application Servers Group
Cigital Labs (consulting positions)
Semantic Designs, Inc. Ira Baxter
Xerox PARC CSL Xerox Palo Alto Research Security and Privacy Summer interns (02/14) (2)
Bell Laboratories Computing Sciences Research
AT&T Labs Research Academic Summer Interns (01/15)
AR Greenhouse Telcordia Software Visualization and Analysis Toolsuite Telcordia