From: Rupak Majumdar <rupak@ic.eecs.berkeley.edu> Message-Id: <200202262231.g1QMVf109683@edalap09.eecs.berkeley.edu> Subject: Summer internship positions at IBM Watson (fwd) Date: Tue, 26 Feb 2002 14:31:41 -0800 (PST) Possible internship opportunity at IBM Watson: Please reply to John Field (jfield@us.ibm.com). Forwarded message: > From jfield@us.ibm.com Tue Feb 26 10:38:11 2002 > Importance: Normal > MIME-Version: 1.0 > To: rupak@eecs.berkeley.edu > Subject: Summer internship positions at IBM Watson > X-Mailer: Lotus Notes Release 5.0.7 March 21, 2001 > From: "John Field" <jfield@us.ibm.com> > Message-ID: <OF168B64D5.B2DD5292-ON85256B6C.00649465@pok.ibm.com> > Date: Tue, 26 Feb 2002 13:37:32 -0500 > X-MIMETrack: Serialize by Router on D01ML243/01/M/IBM(Release 5.0.9a |January 7, 2002) at > 02/26/2002 01:37:34 PM, > Serialize complete at 02/26/2002 01:37:34 PM > Content-Type: multipart/alternative; boundary="=_alternative 0066454185256B6C_=" > > > Hi, > > I _believe_ we talked briefly when I gave a talk at Berkeley in > mid-January (if I _didn't_ talk to you when I was at Berkeley, my > apologies for the confusion---I lost the notes I took at the time, and got > your name from Tom Henzinger's web page---but read on, since this mail be > relevant anyway). > > My group at Watson is working on techniques for verifying whether a client > of a Java library conforms to the library's constraints for correct usage. > You can find out more about the work from our project web page at > http://www.research.ibm.com/menage/canvas (the web page is slightly out of > date; e.g., a revised version of the tech report on the web page will > appear in PLDI '02). > > We're looking for an intern to work with us on the project this summer. > Some projects of possible interest include use of theorem-proving > techniques to generate problem-specific offline abstractions for abstract > interpretation-based verification, investigation of efficient data > structures for state-space representation, and lightweight program > analyses as prepasses for "heavyweight" verification. > > If you're interested in a possible internship, please let me know, > preferably by Wednesday (2/27), and I can contact you with more > information. If you're not interested, I'd appreciate if you could pass > on this mail to any other students in your area who might be. > > Finally, I've attached below a general announcement for interns in our > area at Watson; here again, please feel free to pass this along to other > students who might be interested. > > Thanks. > > -John > > ---------------------------------------------------------- > > The Software Technology department at IBM's T.J. Watson Research center is > looking for smart, energetic and resourceful graduate students (Ph.D. or > advanced master's candidates) to join a variety of projects in the > department as 2002 summer interns. We do research in a number of areas, > all centered on making program development and maintenance more > productive, and making the software produced more efficient, more > manageable, and less failure-prone at runtime. > > Among the topics we pursue are: > > tools and techniques for software architecture design, management, and > implementation > program understanding, debugging, perfomance tuning, and testing tools > processes, management techniques, and metrics for software development > dynamic and adaptive code optimization > software composition techniques and languages > algorithms for program analysis and verification > tools and techniques for optimization, understanding, and monitoring of > complex heterogeneous software systems > software configuration management systems > programming language design, particularly for distributed- or > component-based systems > XML processing and programming > software design patterns > formalisms and tools and for modeling and implementing business > applications > software verification tools > programming support for web services and grid computing > > We are especially interested in developing better software tools, > programming techniques, and optimization technologies for distributed, > internet-based, and heterogeneous systems; for long-running systems > software; and for software that makes extensive use of middleware or > libraries. > > Internship openings will be available in most of the areas listed above. > The best internship candidates will have a strong computer science or > mathematics background, excellent implementation skills, and research > interests that mesh well with one or more of the topics listed above. > > Students interested in summer jobs in programming languages and software > engineering at Watson (NY area) should send a resume to > VTRajan@us.ibm.com. The general IBM Research summer job site is: http://www.research.ibm.com/summerstudents/. > > For more information about Programming Languages and Software Engineering > Projects at IBM Research, see http://www.research.ibm.com/compsci/plansoft/index.html. > > > John Field > IBM T.J. Watson Research Center > http://www.research.ibm.com/people/j/jfield
This archive was generated by hypermail 2b30 : 11/04/02 PST