[J8] ================================================ AMAST Links 02 02

    Student Internships at Sun Microsystems, Mountain View, CA, USA

  The PrimaVera group at Sun Microsystems Laboratories has summer
internship opportunities for students at both the Masters and the PhD
levels.  We offer competetive compensation and a travel and relocation
package.
  At the Masters level, we are looking for students with a strong
programming background in C/C++ and some rudimentary knowledge of
logic.  The job involves developing formal specifications for real
systems and putting them to practical use.
  At the PhD level, we are looking for students with an interest in
formal methods and a strong programming background in C/C++.  We would
prefer the students to be at the advanced stage of searching for
thesis topics.  Ideally, they should identify a thesis topic by the
end of the internship.
  Interested candidates should send me to the address below a resume
and a brief statement of purpose.  There is no formal deadline, but we
expect to start filling positions by early March.
  The PrimaVera group's mission is to research and develop software
engineering tools and technology based on formal methods aimed at
improving software design, development, testing, and maintenance.  We
have developed a practical, easy to use specification language called
ADL (Assertion Definition Language) and a supporting tool suite for
software testing.  We are currently establishing feasibility of our
technology by applying it to significant real systems and
demonstrating a cost savings in the process.  One of our summer
interns from last year is currently working on a thesis topic
involving methodologies to automatically generate tests from
specifications.  Our work for the most part is freely available.
   Sriram Sankar
   Address:Sun Microsystems Laboratories
   2550 Garcia Avenue, UMTV29-112
   Mountain View, California - 94043-1100
   U.S.A.
   Phone: (415)336-6230
   email: sriram.sankar@sun.com